pezkuwichain/serde
1
0
Fork 0
mirror of https://github.com/pezkuwichain/serde.git synced 2026-04-22 09:07:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

Run miri in stricter miri-strict-provenance mode

Browse Source
This commit is contained in:
David Tolnay
2022-05-06 04:01:35 -07:00
parent 68069d734a
commit 3921b57435
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.github/workflows/ci.yml
+2 -2
View File
@@ -175,7 +175,7 @@ jobs:
- uses: dtolnay/rust-toolchain@miri
- run: cd serde && cargo miri test --features derive,rc,unstable
env:
MIRIFLAGS: -Zmiri-tag-raw-pointers
MIRIFLAGS: -Zmiri-strict-provenance
- run: cd test_suite && cargo miri test --features unstable
env:
MIRIFLAGS: -Zmiri-tag-raw-pointers
MIRIFLAGS: -Zmiri-strict-provenance