Run miri in stricter miri-strict-provenance mode
This commit is contained in:
parent
079962b982
commit
5f720ce7a4
|
@ -38,7 +38,7 @@ jobs:
|
||||||
- uses: dtolnay/rust-toolchain@miri
|
- uses: dtolnay/rust-toolchain@miri
|
||||||
- run: cargo miri test
|
- run: cargo miri test
|
||||||
env:
|
env:
|
||||||
MIRIFLAGS: -Zmiri-tag-raw-pointers
|
MIRIFLAGS: -Zmiri-strict-provenance
|
||||||
|
|
||||||
clippy:
|
clippy:
|
||||||
name: Clippy
|
name: Clippy
|
||||||
|
|
Loading…
Reference in New Issue