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

rust-lang · Apr 1, 2024 · c007294 · c007294
1 parent bc91ef7
commit c007294
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/ci/docker/host-x86_64/x86_64-gnu-tools/checktools.sh b/src/ci/docker/host-x86_64/x86_64-gnu-tools/checktools.sh
@@ -62,3 +62,8 @@ case $HOST_TARGET in
     exit 1
     ;;
 esac
+# Also smoke-test `x.py test --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" test --miri --stage 2 library/core --test-args notest
+python3 "$X_PY" test --miri --stage 2 library/alloc --test-args notest
+python3 "$X_PY" test --miri --stage 2 library/std --test-args notest