Skip to content

Commit dffcb4b

Browse files
committed
Revert "Temporarily disable miri CI"
This reverts commit 438fec6. Fixed in nightly-2023-05-06.
1 parent 438fec6 commit dffcb4b

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

.github/workflows/ci.yml

-1
Original file line numberDiff line numberDiff line change
@@ -93,7 +93,6 @@ jobs:
9393
- uses: actions/checkout@v3
9494
- uses: dtolnay/rust-toolchain@miri
9595
- run: cargo miri test
96-
continue-on-error: true # https://github.com/rust-lang/miri/issues/2874
9796
env:
9897
MIRIFLAGS: -Zmiri-strict-provenance
9998

0 commit comments

Comments
 (0)