workflows/pr: block merging PRs when jobs have been cancelled (#433060)

2025-08-12 12:31:50 +00:00
parent bc1e524314 06f574addf
commit a5486fd51a
1 changed files with 1 additions and 1 deletions
@@ -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