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

taiki-e · Jan 11, 2025 · 6d9c360 · 6d9c360
1 parent 2e5e1ce
commit 6d9c360
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -41,6 +41,8 @@ jobs:
     uses: taiki-e/github-actions/.github/workflows/docs.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: