diff options
| author | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2022-09-19 19:08:02 +0000 |
|---|---|---|
| committer | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2022-09-21 15:35:53 +0000 |
| commit | 6cfa7ef2ba1a4781605697c78901c9c10353c58f (patch) | |
| tree | 481c87036c06440c818089ed8f0cb8003edae785 /src/ci | |
| parent | d9382d03bd170de57878444e4ed0322a6d44907b (diff) | |
| download | rust-6cfa7ef2ba1a4781605697c78901c9c10353c58f.tar.gz rust-6cfa7ef2ba1a4781605697c78901c9c10353c58f.zip | |
Remove miri from the submodule list and require it for CI to pass
Diffstat (limited to 'src/ci')
| -rwxr-xr-x | src/ci/docker/host-x86_64/x86_64-gnu-tools/checktools.sh | 2 |
1 files changed, 1 insertions, 1 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 0fb8f41a7ec..cf00c285b0a 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 @@ -14,7 +14,6 @@ python3 "$X_PY" test --stage 2 --no-fail-fast \ src/doc/rust-by-example \ src/doc/embedded-book \ src/doc/edition-guide \ - src/tools/miri \ set -e @@ -23,3 +22,4 @@ cat /tmp/toolstate/toolstates.json python3 "$X_PY" test --stage 2 check-tools python3 "$X_PY" test --stage 2 src/tools/clippy python3 "$X_PY" test --stage 2 src/tools/rustfmt +python3 "$X_PY" test --stage 2 src/tools/miri |