From c007294e6a861bcb0d2961bc6cf3111defac120d Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Sat, 30 Mar 2024 17:22:28 +0100 Subject: [PATCH] smoke-test 'x.py test --miri' on CI --- src/ci/docker/host-x86_64/x86_64-gnu-tools/checktools.sh | 5 +++++ 1 file changed, 5 insertions(+) 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 index 10ae7f17db7ab..badf0429e7fe5 100755 --- 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