ci: Fix miri alerts not triggering (#1928)

CQCL · Feb 24, 2025 · 7e4562c · 7e4562c
1 parent bb0d54b
commit 7e4562c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/unsoundness.yml b/.github/workflows/unsoundness.yml
@@ -41,7 +41,7 @@ jobs:
   create-issue:
     uses: CQCL/hugrverse-actions/.github/workflows/create-issue.yml@main
     needs: miri
-    if: always() && needs.miri.result == 'failure' && github.event_name == 'push'
+    if: always() && needs.miri.result == 'failure'
     secrets:
         GITHUB_PAT: ${{ secrets.HUGRBOT_PAT }}
     with: