Temporarily disable miri CI

rust-lang/miri#2874
dtolnay · May 5, 2023 · 438fec6 · 438fec6
1 parent 8b4fc43
commit 438fec6
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -93,6 +93,7 @@ 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