Revert "Temporarily disable miri on doctests"

This reverts commit 9f84a37.
dtolnay · Apr 8, 2024 · bebc7a2 · bebc7a2
1 parent f2c4db9
commit bebc7a2
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 --all-targets  # exclude doctests https://github.com/rust-lang/miri/issues/3404
+      - run: cargo miri test
         env:
           MIRIFLAGS: -Zmiri-strict-provenance