diff --git a/.github/workflows/unsoundness.yml b/.github/workflows/unsoundness.yml index 450f668eb..91e75c419 100644 --- 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: