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

taiki-e · Jan 11, 2025 · f89568a · f89568a
1 parent 656aff6
commit f89568a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -43,6 +43,7 @@ jobs:
   miri:
     uses: taiki-e/github-actions/.github/workflows/miri.yml@main
     with:
+      event_name: ${{ github.event_name }}
       # NB: sync with env.EXCLUDE
       args: --exclude futures-async-stream-internal-codegen
   tidy: