From dadcce88b37d5c6171fcad8216385c6db2897497 Mon Sep 17 00:00:00 2001 From: Chris Denton Date: Sat, 24 Aug 2024 09:47:36 +0000 Subject: [PATCH] Update jobs.yml --- src/ci/docker/host-x86_64/x86_64-gnu-tools/checktools.sh | 3 ++- 1 file changed, 2 insertions(+), 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 index e95851ee5d5f3..20c842a13ac30 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 @@ -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.