From 38c4832665e4bddd43c9b0ad54517423c9ee4228 Mon Sep 17 00:00:00 2001 From: Niels de Vos Date: Fri, 11 Nov 2022 12:13:18 +0100 Subject: [PATCH] ci: do not leave testing comments on merged PRs A PR with status `github.event.pull_request.merged == true` does not need to be tested again. Signed-off-by: Niels de Vos --- .github/workflows/pull-request-commentor.yaml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/pull-request-commentor.yaml b/.github/workflows/pull-request-commentor.yaml index 60a608575..d5454fe32 100644 --- a/.github/workflows/pull-request-commentor.yaml +++ b/.github/workflows/pull-request-commentor.yaml @@ -10,7 +10,8 @@ on: - labeled jobs: add-comment: - if: github.event.label.name == 'ok-to-test' + # yamllint disable-line rule:line-length + if: github.event.label.name == 'ok-to-test' && github.event.pull_request.merged != 'true' runs-on: ubuntu-latest permissions: pull-requests: write