Revert "Temporarily disable miri on doctests"
This reverts commit d5e45f2273
.
This commit is contained in:
parent
8f392032fa
commit
0ce0ec2440
|
@ -69,7 +69,7 @@ jobs:
|
||||||
- uses: actions/checkout@v4
|
- uses: actions/checkout@v4
|
||||||
- uses: dtolnay/rust-toolchain@miri
|
- uses: dtolnay/rust-toolchain@miri
|
||||||
- run: cargo miri setup
|
- run: cargo miri setup
|
||||||
- run: cargo miri test --all-targets # exclude doctests https://github.com/rust-lang/miri/issues/3404
|
- run: cargo miri test
|
||||||
env:
|
env:
|
||||||
MIRIFLAGS: -Zmiri-strict-provenance
|
MIRIFLAGS: -Zmiri-strict-provenance
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue