From dffcb4bf6cd925a8cf4f780db524212336ce7f0f Mon Sep 17 00:00:00 2001
From: David Tolnay <dtolnay@gmail.com>
Date: Sat, 6 May 2023 19:26:05 -0700
Subject: [PATCH] Revert "Temporarily disable miri CI"

This reverts commit 438fec6036ab93691f5fc8995a4e55be2058df4f.

Fixed in nightly-2023-05-06.
---
 .github/workflows/ci.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 4380f84..3ade484 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -93,7 +93,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