We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent dcc6aec commit a4c1085Copy full SHA for a4c1085
.github/workflows/main.yml
@@ -265,4 +265,4 @@ jobs:
265
rustup toolchain install nightly --component miri
266
rustup override set nightly
267
cargo miri setup
268
- - run: MIRIFLAGS="-Zmiri-disable-isolation" cargo miri test
+ - run: MIRIFLAGS="-Zmiri-disable-isolation -Zmiri-permissive-provenance" cargo miri test
0 commit comments