Run miri in stricter miri-strict-provenance mode

dtolnay · May 6, 2022 · 63f6c9f · 63f6c9f
1 parent ca511d1
commit 63f6c9f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -114,7 +114,7 @@ jobs:
       - uses: dtolnay/rust-toolchain@miri
       - run: cargo miri test --all-features
         env:
-          MIRIFLAGS: -Zmiri-tag-raw-pointers
+          MIRIFLAGS: -Zmiri-strict-provenance
 
   clippy:
     name: Clippy