Skip to content

Commit 84c0baa

Browse files
committed
ci: Update miri flags
Remove flags that are now used by default by miri.
1 parent e84562d commit 84c0baa

File tree

1 file changed

+1
-2
lines changed

1 file changed

+1
-2
lines changed

ci/miri.sh

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,6 @@ rustup component add miri
1313
cargo miri setup
1414

1515
# Disable isolation for num_cpus::get_physical.
16-
# Also add flags for additional checks.
17-
MIRIFLAGS="-Zmiri-disable-isolation -Zmiri-tag-raw-pointers -Zmiri-check-number-validity" \
16+
MIRIFLAGS="-Zmiri-disable-isolation" \
1817
MMTEST_FAST_TEST=1 \
1918
cargo miri test "$@"

0 commit comments

Comments
 (0)