chore: test more features with Miri

tokio-rs · Jan 12, 2022 · 07ab34c · 07ab34c
1 parent bd93557
commit 07ab34c
Showing 1 changed file with 5 additions and 8 deletions.
diff --git 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