We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 8fd8824 commit 2be33deCopy full SHA for 2be33de
.github/workflows/ci.yml
@@ -275,7 +275,7 @@ jobs:
275
run: rustup toolchain install nightly --component miri && rustup default nightly
276
- run: cargo miri test --workspace --all-features
277
env:
278
- MIRIFLAGS: -Zmiri-check-number-validity -Zmiri-symbolic-alignment-check -Zmiri-tag-raw-pointers -Zmiri-disable-isolation
+ MIRIFLAGS: -Zmiri-strict-provenance -Zmiri-symbolic-alignment-check -Zmiri-disable-isolation
279
RUSTFLAGS: ${{ env.RUSTFLAGS }} -Z randomize-layout
280
281
san:
0 commit comments