Update jobs.yml

rust-lang · Aug 24, 2024 · dadcce8 · dadcce8
1 parent 433e73d
commit dadcce8
Showing 1 changed file with 2 additions and 1 deletion.
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
@@ -55,7 +55,8 @@ case $HOST_TARGET in
     python3 "$X_PY" test --stage 2 src/tools/miri --target s390x-unknown-linux-gnu --test-args pass
     ;;
   x86_64-pc-windows-msvc)
-    ps -W | grep miri
+    ps -W || true
+    sleep 60
     # Strangely, Linux targets do not work here. cargo always says
     # "error: cannot produce cdylib for ... as the target ... does not support these crate types".
     # Only run "pass" tests, which is quite a bit faster.