chore(ci): Don't block on miri

Miri is now taking a long time due to the switch to snapshotting while its relatively low risk, so I figure we could handle it async.
winnow-rs · Jan 24, 2025 · 9c82a02 · 9c82a02
1 parent e417101
commit 9c82a02
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -24,7 +24,7 @@ jobs:
     permissions:
       contents: none
     name: CI
-    needs: [test, miri, msrv, lockfile, docs, rustfmt, clippy, minimal-versions]
+    needs: [test, msrv, lockfile, docs, rustfmt, clippy, minimal-versions]
     runs-on: ubuntu-latest
     if: "always()"
     steps: