diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml index db261a904ef5..a09ea195524f 100644 --- a/.github/workflows/pr.yml +++ b/.github/workflows/pr.yml @@ -160,7 +160,7 @@ jobs: # Do NOT change the name of this job, otherwise the rule will not catch it anymore. # This would prevent all PRs from merging. name: no PR failures - if: ${{ failure() }} + if: ${{ cancelled() || failure() }} runs-on: ubuntu-24.04-arm steps: - run: exit 1