diff --git a/utils/ci/miri.sh b/utils/ci/miri.sh index 6cd569210c3..209adf21c8b 100644 --- a/utils/ci/miri.sh +++ b/utils/ci/miri.sh @@ -7,8 +7,8 @@ rustup default "$MIRI_NIGHTLY" rustup component add miri cargo miri setup -cargo miri test --no-default-features -- -Zmiri-seed=42 -- -Zunstable-options --exclude-should-panic -cargo miri test --features=log -- -Zmiri-seed=42 -- -Zunstable-options --exclude-should-panic +cargo miri test --no-default-features -- -- -Zunstable-options --exclude-should-panic +cargo miri test --features=log -- -- -Zunstable-options --exclude-should-panic cargo miri test --manifest-path rand_core/Cargo.toml cargo miri test --manifest-path rand_core/Cargo.toml --features=serde1 cargo miri test --manifest-path rand_core/Cargo.toml --no-default-features @@ -20,4 +20,4 @@ cargo miri test --manifest-path rand_xoshiro/Cargo.toml --features=serde1 cargo miri test --manifest-path rand_chacha/Cargo.toml --no-default-features cargo miri test --manifest-path rand_hc/Cargo.toml cargo miri test --manifest-path rand_jitter/Cargo.toml -cargo miri test --manifest-path rand_os/Cargo.toml -- -Zmiri-seed=42 +cargo miri test --manifest-path rand_os/Cargo.toml