From fa8ebd3e45eafbb5505191dabd7ee2283bd3fd6c Mon Sep 17 00:00:00 2001 From: Fabio Baltieri Date: Wed, 18 Dec 2024 15:05:55 +0000 Subject: [PATCH] ci: do_not_merge: pass instead of skip on mergeable PRs Change the workflow to pass instead of skip if the PR is mergeable, just trying to see if it helps with PRs not appearing as mergeable because they do not match status:success when they should. Signed-off-by: Fabio Baltieri --- .github/workflows/do_not_merge.yml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/do_not_merge.yml b/.github/workflows/do_not_merge.yml index b6954e288c9..b2bbefdc6fe 100644 --- a/.github/workflows/do_not_merge.yml +++ b/.github/workflows/do_not_merge.yml @@ -6,14 +6,14 @@ on: jobs: do-not-merge: - if: ${{ contains(github.event.*.labels.*.name, 'DNM') || - contains(github.event.*.labels.*.name, 'TSC') || - contains(github.event.*.labels.*.name, 'Architecture Review') || - contains(github.event.*.labels.*.name, 'dev-review') }} name: Prevent Merging runs-on: ubuntu-22.04 steps: - name: Check for label + if: ${{ contains(github.event.*.labels.*.name, 'DNM') || + contains(github.event.*.labels.*.name, 'TSC') || + contains(github.event.*.labels.*.name, 'Architecture Review') || + contains(github.event.*.labels.*.name, 'dev-review') }} run: | echo "Pull request is labeled as 'DNM', 'TSC', 'Architecture Review' or 'dev-review'." echo "This workflow fails so that the pull request cannot be merged."