From 433e73dbce9db98d63e5e62154ce031ba658cc42 Mon Sep 17 00:00:00 2001 From: Chris Denton Date: Sat, 24 Aug 2024 04:12:00 +0000 Subject: [PATCH 1/2] Update checktools.sh --- src/ci/docker/host-x86_64/x86_64-gnu-tools/checktools.sh | 1 + 1 file changed, 1 insertion(+) 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 a5a5acc333be9..e95851ee5d5f3 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,6 +55,7 @@ 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 # 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. From dadcce88b37d5c6171fcad8216385c6db2897497 Mon Sep 17 00:00:00 2001 From: Chris Denton Date: Sat, 24 Aug 2024 09:47:36 +0000 Subject: [PATCH 2/2] 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.