Skip to content

Commit 7cda1f8

Browse files
authored
Merge pull request #23 from RalfJung/miri
fix Miri flag passing
2 parents 5136874 + 8504783 commit 7cda1f8

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

.github/workflows/test.yml

+1-1
Original file line numberDiff line numberDiff line change
@@ -129,4 +129,4 @@ jobs:
129129
cargo miri test --manifest-path rand_isaac/Cargo.toml --all-features
130130
cargo miri test --manifest-path rand_xorshift/Cargo.toml --all-features
131131
cargo miri test --manifest-path rand_xoshiro/Cargo.toml --all-features
132-
cargo miri test --manifest-path rand_jitter/Cargo.toml -- -Zmiri-disable-isolation
132+
MIRIFLAGS="-Zmiri-disable-isolation" cargo miri test --manifest-path rand_jitter/Cargo.toml

0 commit comments

Comments
 (0)