diff options
| author | Ralf Jung <post@ralfj.de> | 2024-03-30 17:22:28 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-04-04 09:23:02 +0200 |
| commit | 9e35555474a40d20ebe8d29da56f2d715af21cdd (patch) | |
| tree | 0f2636cd252709d2eaf69a6e630f06ae3cd16ed3 | |
| parent | ecc714d88ee0781192cfedcd7b717a7c0a9a4f05 (diff) | |
| download | rust-9e35555474a40d20ebe8d29da56f2d715af21cdd.tar.gz rust-9e35555474a40d20ebe8d29da56f2d715af21cdd.zip | |
smoke-test 'x.py test --miri' on CI
| -rwxr-xr-x | src/ci/docker/host-x86_64/x86_64-gnu-tools/checktools.sh | 5 |
1 files changed, 5 insertions, 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 index 10ae7f17db7..38c5b173ae3 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 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 |