Jorge Aparicio f3350c5499 enable tests now that #150 has been fixed vor 7 Jahren
..
docker 3f723d1141 modify the CI setup to run tests on the thumb targets vor 8 Jahren
run-docker.sh d0a57cb871 give Xargo a $HOME vor 8 Jahren
run.sh f3350c5499 enable tests now that #150 has been fixed vor 7 Jahren