We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent c8c804c commit 508ece8Copy full SHA for 508ece8
.github/workflows/ci.yml
@@ -90,7 +90,7 @@ jobs:
90
- uses: actions/checkout@v4
91
- uses: dtolnay/rust-toolchain@miri
92
- run: cargo miri setup
93
- - run: cargo miri test --all-targets # exclude doctests https://github.com/rust-lang/miri/issues/3404
+ - run: cargo miri test
94
env:
95
MIRIFLAGS: -Zmiri-strict-provenance
96
0 commit comments