diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index f9eded120da..47b74133694 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -166,18 +166,15 @@ jobs: - uses: actions-rs/toolchain@v1 with: toolchain: ${{ env.nightly }} + components: miri override: true - uses: Swatinem/rust-cache@v1 - - name: Install Miri - run: | - set -e - rustup component add miri - cargo miri setup - rm -rf tokio/tests - - name: miri - run: cargo miri test --features rt,rt-multi-thread,sync task + run: cargo miri test --features full --no-fail-fast --tests working-directory: tokio + env: + MIRIFLAGS: -Zmiri-disable-isolation -Zmiri-tag-raw-pointers + san: name: san runs-on: ubuntu-latest