diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 43ab1d5..b73ebbe 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -70,7 +70,7 @@ jobs:
           components: miri, rust-src
       - run: cargo miri test
         env:
-          MIRIFLAGS: -Zmiri-tag-raw-pointers
+          MIRIFLAGS: -Zmiri-strict-provenance
 
   outdated:
     name: Outdated