Skip to content

Commit c295f5c

Browse files
committed
Revert "Temporarily disable miri on doctests"
This reverts commit 6259d49.
1 parent 435bd1b commit c295f5c

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

.github/workflows/ci.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -88,7 +88,7 @@ jobs:
8888
- uses: actions/checkout@v4
8989
- uses: dtolnay/rust-toolchain@miri
9090
- run: cargo miri setup
91-
- run: cargo miri test --all-targets # exclude doctests https://github.com/rust-lang/miri/issues/3404
91+
- run: cargo miri test
9292
env:
9393
MIRIFLAGS: -Zmiri-strict-provenance
9494

0 commit comments

Comments
 (0)