We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 433e73d commit dadcce8Copy full SHA for dadcce8
src/ci/docker/host-x86_64/x86_64-gnu-tools/checktools.sh
@@ -55,7 +55,8 @@ 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
+ ps -W || true
59
+ sleep 60
60
# Strangely, Linux targets do not work here. cargo always says
61
# "error: cannot produce cdylib for ... as the target ... does not support these crate types".
62
# Only run "pass" tests, which is quite a bit faster.
0 commit comments