We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents 4074d49 + 433e73d commit d81d37eCopy full SHA for d81d37e
src/ci/docker/host-x86_64/x86_64-gnu-tools/checktools.sh
@@ -55,6 +55,7 @@ case $HOST_TARGET in
55
python3 "$X_PY" test --stage 2 src/tools/miri --target s390x-unknown-linux-gnu --test-args pass
56
;;
57
x86_64-pc-windows-msvc)
58
+ ps -W | grep miri
59
# Strangely, Linux targets do not work here. cargo always says
60
# "error: cannot produce cdylib for ... as the target ... does not support these crate types".
61
# Only run "pass" tests, which is quite a bit faster.
0 commit comments