From 63b1c9826b32b65025040afa17c44d75e4eb4389 Mon Sep 17 00:00:00 2001 From: Teodor Daskalov Date: Thu, 16 Jan 2025 20:55:38 +0200 Subject: [PATCH] check only merged PRs (#5) --- .github/workflows/build.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 1b6533fbaf..390c942353 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -105,7 +105,7 @@ jobs: git tag -a $NEW_TAG -m "New tag: $NEW_TAG" git push origin $NEW_TAG - PR_NUMBER=$(gh pr list --head ${{ github.ref_name }} --state open --json number --jq '.[0].number') + PR_NUMBER=$(gh pr list --head ${{ github.ref_name }} --state merged --json number --jq '.[0].number') if [[ -n "$PR_NUMBER" ]]; then echo ":rocket: A new tag ${NEW_TAG} has been created and pushed!" gh pr comment $PR_NUMBER -b ":rocket: A new tag ${NEW_TAG} has been created and pushed!"