-Zmiri-tag-raw-pointers

rust-lang · Jan 12, 2022 · 1ff7d3d · 1ff7d3d
1 parent 5adb71f
commit 1ff7d3d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -244,9 +244,9 @@ jobs:
       - name: Install Rust
         run: rustup toolchain install nightly --component miri && rustup default nightly
       # futures-executor uses boxed futures so many tests trigger https://github.com/rust-lang/miri/issues/1038
-      - run: cargo miri test --workspace --exclude futures-executor --all-features
+      - run: cargo miri test --workspace --exclude futures-executor --all-features --no-fail-fast
         env:
-          MIRIFLAGS: -Zmiri-disable-isolation # TODO: use -Zmiri-tag-raw-pointers
+          MIRIFLAGS: -Zmiri-disable-isolation -Zmiri-tag-raw-pointers
 
   san:
     name: cargo test -Z sanitizer=${{ matrix.sanitizer }}