Revert "Temporarily disable miri CI"

This reverts commit 8c0ed45. Fixed in nightly-2023-05-06.
dtolnay · May 7, 2023 · 3983ba5 · 3983ba5
1 parent 8c0ed45
commit 3983ba5
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -59,7 +59,6 @@ jobs:
       - uses: actions/checkout@v3
       - uses: dtolnay/rust-toolchain@miri
       - run: cargo miri test
-        continue-on-error: true # https://github.com/rust-lang/miri/issues/2874
         env:
           MIRIFLAGS: -Zmiri-strict-provenance