Skip to content

check_post_patch

check_post_patch #729

Workflow file for this run

# 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@v2
- 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 "::set-output name=has-diff::true"
echo "::set-output name=pr-number::$(cat pr_number.txt)"
body=$(cat msg.txt)
body="${body//'%'/'%25'}"
body="${body//$'\n'/'%0A'}"
body="${body//$'\r'/'%0D'}"
echo "::set-output name=body::$body"
fi;
- name: Find existing comment
uses: peter-evans/find-comment@v1
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@v1
with:
edit-mode: replace
issue-number: ${{ steps.check-diff.outputs.pr-number }}
comment-id: ${{ steps.find-comment.outputs.comment-id }}
body: ${{ steps.check-diff.outputs.body }}