ci: Update miri flags

Remove flags that are now used by default by miri.
bluss · Apr 30, 2023 · 84c0baa · 84c0baa
1 parent e84562d
commit 84c0baa
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/ci/miri.sh b/ci/miri.sh
@@ -13,7 +13,6 @@ rustup component add miri
 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 "$@"