Skip to content

Commit cbb1645

Browse files
committed
add -Zmiri-disable-isolation to miri test
1 parent db37402 commit cbb1645

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

.github/workflows/safety.yml

+2-1
Original file line numberDiff line numberDiff line change
@@ -56,6 +56,7 @@ jobs:
5656
components: miri
5757

5858
- name: cargo miri test
59-
run: cargo miri test -Zmiri-disable-isolation
59+
run: cargo miri test
6060
env:
61+
RUSTFLAGS: "-Zmiri-disable-isolation"
6162
MIRIFLAGS: ""

0 commit comments

Comments
 (0)