Skip to content

Commit d8ca892

Browse files
committed
try add --doc
1 parent 1dbb2a7 commit d8ca892

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
@@ -211,7 +211,7 @@ jobs:
211211
- uses: actions/checkout@v4
212212
- uses: dtolnay/rust-toolchain@miri
213213
- run: cargo miri setup
214-
- run: cargo miri test
214+
- run: cargo miri test --doc
215215
env:
216216
MIRIFLAGS: -Zmiri-strict-provenance
217217

0 commit comments

Comments
 (0)