ci: Use -Zmiri-many-seeds on scheduled job

taiki-e · Jan 11, 2025 · 2af5071 · 2af5071
1 parent 288e048
commit 2af5071
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -37,6 +37,8 @@ jobs:
     uses: taiki-e/github-actions/.github/workflows/deny.yml@main
   miri:
     uses: taiki-e/github-actions/.github/workflows/miri.yml@main
+    with:
+      event_name: ${{ github.event_name }}
   msrv:
     uses: taiki-e/github-actions/.github/workflows/msrv.yml@main
     with: