Temporarily disable miri CI

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