Run miri in stricter miri-strict-provenance mode

dtolnay · Mar 11, 2024 · 6ce741e · 6ce741e
1 parent a672fcf
commit 6ce741e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -84,7 +84,7 @@ jobs:
       - run: cargo miri setup
       - run: cargo miri test
         env:
-          MIRIFLAGS: -Zmiri-tag-raw-pointers
+          MIRIFLAGS: -Zmiri-strict-provenance
 
   outdated:
     name: Outdated