Alex Crichton 7de57cd4f9 Handle aeabi aliasing há 7 anos atrás
..
docker 3f723d1141 modify the CI setup to run tests on the thumb targets há 8 anos atrás
run-docker.sh d0a57cb871 give Xargo a $HOME há 8 anos atrás
run.sh 7de57cd4f9 Handle aeabi aliasing há 7 anos atrás