ci: Update miri flags

Remove flags that are now used by default by miri.
bluss · Apr 30, 2023 · 4e96490 · 4e96490
1 parent 08ea7b6
commit 4e96490
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ci/miri.sh b/ci/miri.sh
@@ -14,6 +14,6 @@ cargo miri setup
 
 # Disable isolation for num_cpus::get_physical.
 # Also add flags for additional checks.
-MIRIFLAGS="-Zmiri-disable-isolation -Zmiri-tag-raw-pointers -Zmiri-check-number-validity" \
+MIRIFLAGS="-Zmiri-disable-isolation" \
 MMTEST_FAST_TEST=1 \
     cargo miri test "$@"