From 07ab34cc149cbcbc4926c0b9b6323ecba51ad114 Mon Sep 17 00:00:00 2001
From: Taiki Endo <te316e89@gmail.com>
Date: Wed, 12 Jan 2022 23:54:47 +0900
Subject: [PATCH] chore: test more features with Miri

---
 .github/workflows/ci.yml | 13 +++++--------
 1 file changed, 5 insertions(+), 8 deletions(-)

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