diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index b6295d9c4cb..bf14f128e3d 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -420,13 +420,11 @@ jobs: components: miri - uses: Swatinem/rust-cache@v2 - name: miri - # Many of tests in tokio/tests and doctests use #[tokio::test] or - # #[tokio::main] that calls epoll_create1 that Miri does not support. run: | - cargo miri test --features full --lib --no-fail-fast + cargo miri test --features full --lib --tests --no-fail-fast working-directory: tokio env: - MIRIFLAGS: -Zmiri-disable-isolation -Zmiri-strict-provenance -Zmiri-retag-fields + MIRIFLAGS: -Zmiri-disable-isolation -Zmiri-strict-provenance -Zmiri-retag-fields -Zmiri-tree-borrows asan: name: asan