Skip to content

Commit 7bddb98

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

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

src/ci/github-actions/jobs.yml

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -367,7 +367,9 @@ auto:
367367

368368
- image: x86_64-msvc-ext
369369
env:
370-
SCRIPT: python x.py --stage 2 test miri -vv
370+
SCRIPT: >
371+
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
371373
HOST_TARGET: x86_64-pc-windows-msvc
372374
RUST_CONFIGURE_ARGS: --build=x86_64-pc-windows-msvc --enable-lld --save-toolstates=/tmp/toolstate/toolstates.json
373375
DEPLOY_TOOLSTATES_JSON: toolstates-windows.json

0 commit comments

Comments
 (0)