Temporarily disable miri CI

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