Skip to content

Commit dbb973b

Browse files
committed
Temporarily disable miri on doctests
1 parent 8eb9f1c commit dbb973b

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

.github/workflows/ci.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -75,7 +75,7 @@ jobs:
7575
- uses: actions/checkout@v4
7676
- uses: dtolnay/rust-toolchain@miri
7777
- run: cargo miri setup
78-
- run: cargo miri test
78+
- run: cargo miri test --all-targets # exclude doctests https://github.com/rust-lang/miri/issues/3404
7979
env:
8080
MIRIFLAGS: -Zmiri-strict-provenance
8181

0 commit comments

Comments
 (0)