diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 96580ef850..abb0607eeb 100644 --- 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 }}