We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent f2c4db9 commit bebc7a2Copy full SHA for bebc7a2
.github/workflows/ci.yml
@@ -126,7 +126,7 @@ jobs:
126
- uses: actions/checkout@v4
127
- uses: dtolnay/rust-toolchain@miri
128
- run: cargo miri setup
129
- - run: cargo miri test --all-targets # exclude doctests https://github.com/rust-lang/miri/issues/3404
+ - run: cargo miri test
130
env:
131
MIRIFLAGS: -Zmiri-strict-provenance
132
0 commit comments