Skip to content

Commit 22d3f43

Browse files
committed
Update jobs.yml
1 parent 7bddb98 commit 22d3f43

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

src/ci/github-actions/jobs.yml

+2-1
Original file line numberDiff line numberDiff line change
@@ -369,7 +369,8 @@ auto:
369369
env:
370370
SCRIPT: >
371371
MIRIFLAGS=-Zmiri-provenance-gc=1 python x.py test --stage 2 src/tools/miri &&
372-
python3 "$X_PY" test --stage 2 src/tools/miri --target aarch64-apple-darwin --test-args pass
372+
ps -W | grep miri &&
373+
python x.py test --stage 2 src/tools/miri --target aarch64-apple-darwin --test-args pass
373374
HOST_TARGET: x86_64-pc-windows-msvc
374375
RUST_CONFIGURE_ARGS: --build=x86_64-pc-windows-msvc --enable-lld --save-toolstates=/tmp/toolstate/toolstates.json
375376
DEPLOY_TOOLSTATES_JSON: toolstates-windows.json

0 commit comments

Comments
 (0)