user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

smoke-test 'x.py test --miri' on CI

Browse source
This commit is contained in:
Ralf Jung 2024-03-30 17:22:28 +01:00
parent ecc714d88e
commit 9e35555474
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/ci/docker/host-x86_64/x86_64-gnu-tools/checktools.sh
View file

@ -62,3 +62,8 @@ case $HOST_TARGET in
exit 1
;;
esac
# Also smoke-test `x.py miri`. This doesn't run any actual tests (that would take too long),
# but it ensures that the crates build properly when tested with Miri.
python3 "$X_PY" miri --stage 2 library/core --test-args notest
python3 "$X_PY" miri --stage 2 library/alloc --test-args notest
python3 "$X_PY" miri --stage 2 library/std --test-args notest