ci: remove unstable miri option

seanmonstar · Jun 10, 2024 · adb68ca · adb68ca
1 parent 137f0e3
commit adb68ca
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -183,7 +183,7 @@ jobs:
           override: true
 
       - name: Test
-        run: MIRIFLAGS="-Zmiri-tag-raw-pointers -Zmiri-check-number-validity" cargo miri test
+        run: MIRIFLAGS="-Zmiri-check-number-validity" cargo miri test
   #
   # mirai:
   #   name: MIRAI static analysis