Skip to content

Commit 9f84a37

Browse files
committed
Temporarily disable miri on doctests
1 parent 45e5a58 commit 9f84a37

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
@@ -126,7 +126,7 @@ jobs:
126126
- uses: actions/checkout@v4
127127
- uses: dtolnay/rust-toolchain@miri
128128
- run: cargo miri setup
129-
- run: cargo miri test
129+
- run: cargo miri test --all-targets # exclude doctests https://github.com/rust-lang/miri/issues/3404
130130
env:
131131
MIRIFLAGS: -Zmiri-strict-provenance
132132

0 commit comments

Comments
 (0)