From eec72ea6e4aba8c8ba321a5926b76b43ca2d4021 Mon Sep 17 00:00:00 2001 From: Wolfgang Walther Date: Tue, 12 Aug 2025 13:06:09 +0200 Subject: [PATCH] workflows/pr: block merging PRs when jobs have been cancelled This currently happens, for still unknown reasons, for the "check cherry picks" job. The job gets cancelled by GHA mid-way. This should be the same as an error, because an important check didn't run: Merging should be blocked and auto-merge should not succeed. (cherry picked from commit 06f574addf20264caba26b7db6222080e80ca874) --- .github/workflows/pr.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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