chore(actions): disable miri for now

jbr · Mar 27, 2024 · 0439ed1 · 0439ed1
1 parent 2a4e787
commit 0439ed1
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -73,6 +73,8 @@ jobs:
         uses: Swatinem/[email protected]
       - name: Test with Miri
         run: cargo miri nextest run
+        continue-on-error: true
+
   coverage:
     runs-on: ubuntu-latest