check_post_patch #542
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Listen for successful "docs" workflow runs on pull requests, | |
| # fetch the artifact containing the diff and PR number, | |
| # create or update a comment containing the diff. | |
| name: check_post_patch | |
| on: | |
| workflow_run: | |
| workflows: ["docs"] | |
| types: | |
| - completed | |
| jobs: | |
| run: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/setup-python@v4 | |
| with: | |
| python-version: '3.x' | |
| - name: Checkout | |
| uses: actions/checkout@v3 | |
| - name: Download artifacts | |
| id: check-diff | |
| shell: bash {0} | |
| if: ${{ github.event.workflow_run.event == 'pull_request' && github.event.workflow_run.conclusion == 'success' }} | |
| run: | | |
| python -m pip --disable-pip-version-check install requests | |
| python ./.scripts/extract_diff.py ${{ github.event.workflow_run.artifacts_url }} ${{ secrets.GITHUB_TOKEN }} | |
| if [ $? -eq 0 ] | |
| then | |
| echo "has-diff=true" >> $GITHUB_OUTPUT | |
| echo "pr-number=$(cat pr_number.txt)" >> $GITHUB_OUTPUT | |
| fi; | |
| - name: Find existing comment | |
| uses: peter-evans/find-comment@v2 | |
| id: find-comment | |
| if: ${{ steps.check-diff.outputs.has-diff }} | |
| with: | |
| issue-number: ${{ steps.check-diff.outputs.pr-number }} | |
| body-includes: GHA-event-listeners-diff | |
| - name: Create PR comment | |
| if: ${{ steps.check-diff.outputs.has-diff }} | |
| uses: peter-evans/create-or-update-comment@v3 | |
| with: | |
| edit-mode: replace | |
| issue-number: ${{ steps.check-diff.outputs.pr-number }} | |
| comment-id: ${{ steps.find-comment.outputs.comment-id }} | |
| body-file: msg.txt |