Temporarily disable miri on doctests

dtolnay · Mar 25, 2024 · ba33438 · ba33438
1 parent df8bffa
commit ba33438
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -90,7 +90,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