update miri workflow

ibraheemdev · Mar 12, 2024 · 12585ed · 12585ed
1 parent f2d73a9
commit 12585ed
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -45,7 +45,7 @@ jobs:
       - name: cargo miri test
         run: cargo miri test
         env:
-          MIRIFLAGS: "-Zmiri-tag-raw-pointers -Zmiri-disable-isolation"
+          MIRIFLAGS: "-Zmiri-disable-isolation"
 
   doc:
     name: Docs