From e95f43473f4676c84a194174fc4aedb589e02ffc Mon Sep 17 00:00:00 2001 From: Joshua Thijssen Date: Fri, 1 Dec 2023 09:39:35 +0100 Subject: [PATCH] up --- .github/workflows/pr-author-check.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/pr-author-check.yml b/.github/workflows/pr-author-check.yml index 4793f61c..996d06f8 100644 --- a/.github/workflows/pr-author-check.yml +++ b/.github/workflows/pr-author-check.yml @@ -23,7 +23,7 @@ jobs: git fetch origin ${{ github.base_ref }} git fetch origin ${{ github.head_ref }} sh .github/workflows/check_authors.sh "origin/${{ github.base_ref }}..origin/${{ github.head_ref }}" - echo "::set-output name=result::$?" + echo "author_found=$?" >> $GITHUB_STATE - name: Find Comment uses: peter-evans/find-comment@v2 id: fc @@ -36,7 +36,7 @@ jobs: # Delete comment when author is in AUTHORS file and we have a comment id - name: Delete comment uses: actions/github-script@v3 - if: steps.check-author.outputs.result == '0' && steps.fc.outputs.comment-id != '' + if: $author_found == '0' && steps.fc.outputs.comment-id != '' with: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} script: | @@ -49,7 +49,7 @@ jobs: # Post the comment (or replace it) when a committer is not found in the AUTHORS file - name: Post comment if not found uses: peter-evans/create-or-update-comment@v3 - if: steps.check-author.outputs.result == '1' + if: $author_found == '1' env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} with: