Skip to content

Commit 2130305

Browse files
committed
Revert "Temporarily disable miri CI"
This reverts commit 2d3959c. Fixed in nightly-2023-05-06.
1 parent 7c637e7 commit 2130305

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
@@ -133,7 +133,6 @@ jobs:
133133
- uses: actions/checkout@v3
134134
- uses: dtolnay/rust-toolchain@miri
135135
- run: cargo miri test
136-
continue-on-error: true # https://github.com/rust-lang/miri/issues/2874
137136
env:
138137
MIRIFLAGS: -Zmiri-strict-provenance
139138

0 commit comments

Comments
 (0)