From 1ff7d3d193ade121bb7b4defc581bcfc60880035 Mon Sep 17 00:00:00 2001 From: Taiki Endo Date: Thu, 13 Jan 2022 01:41:53 +0900 Subject: [PATCH] -Zmiri-tag-raw-pointers --- .github/workflows/ci.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 }}