Skip to content

Commit

Permalink
run fewer cross-target cargo-miri tests on Windows, they seem to not …
Browse files Browse the repository at this point in the history
…work on rustc CI
  • Loading branch information
RalfJung committed Oct 29, 2023
1 parent a783f39 commit 1b3fbbb
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/ci/docker/host-x86_64/x86_64-gnu-tools/checktools.sh
Original file line number Diff line number Diff line change
Expand Up @@ -38,9 +38,9 @@ case $HOST in
python3 "$X_PY" test --stage 2 src/tools/miri --target x86_64-pc-windows-gnu --test-args pass
;;
x86_64-pc-windows-msvc)
python3 "$X_PY" test --stage 2 src/tools/miri --target i686-unknown-linux-gnu
python3 "$X_PY" test --stage 2 src/tools/miri --target x86_64-apple-darwin
# Only run "pass" tests for the remaining targets, which is quite a bit faster.
python3 "$X_PY" test --stage 2 src/tools/miri --target i686-unknown-linux-gnu --test-args pass
python3 "$X_PY" test --stage 2 src/tools/miri --target aarch64-unknown-linux-gnu --test-args pass
python3 "$X_PY" test --stage 2 src/tools/miri --target s390x-unknown-linux-gnu --test-args pass
;;
Expand Down

0 comments on commit 1b3fbbb

Please sign in to comment.