Temporarily disable miri on doctests

dtolnay · Mar 25, 2024 · 9f84a37 · 9f84a37
1 parent 45e5a58
commit 9f84a37
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -126,7 +126,7 @@ jobs:
       - uses: actions/checkout@v4
       - uses: dtolnay/rust-toolchain@miri
       - run: cargo miri setup
-      - run: cargo miri test
+      - run: cargo miri test --all-targets  # exclude doctests https://github.com/rust-lang/miri/issues/3404
         env:
           MIRIFLAGS: -Zmiri-strict-provenance