wehub-resource-sync
131 lines
4.9 KiB
YAML
131 lines
4.9 KiB
YAML
# This workflow is triggered on any PR comment, and tries to find a `@rerun-bot` mention in it.
|
|
# If the mention is a command, such as `@rerun-bot full-check`, then it runs the command.
|
|
#
|
|
# Available commands:
|
|
# full-check Triggers a run of `on_push_main.yml` on the PR.
|
|
|
|
name: "PR Comment"
|
|
|
|
on:
|
|
issue_comment:
|
|
types: [created]
|
|
|
|
defaults:
|
|
run:
|
|
shell: bash --noprofile --norc -euo pipefail {0}
|
|
|
|
permissions:
|
|
contents: "read"
|
|
id-token: "write"
|
|
pull-requests: "write"
|
|
|
|
jobs:
|
|
parse-command:
|
|
if: |
|
|
contains(github.event.comment.html_url, '/pull/') &&
|
|
contains(github.event.comment.body, '@rerun-bot') &&
|
|
contains(
|
|
fromJSON('["COLLABORATOR","MEMBER","OWNER"]'),
|
|
github.event.comment.author_association
|
|
)
|
|
runs-on: ubuntu-latest
|
|
outputs:
|
|
command: ${{ steps.parse.outputs.command }}
|
|
steps:
|
|
- name: Checkout repository
|
|
uses: actions/checkout@v4
|
|
|
|
- name: Parse comment
|
|
id: parse
|
|
env:
|
|
GITHUB_COMMENT_BODY: "${{ github.event.comment.body }}"
|
|
run: python ./scripts/ci/parse_bot_pr_comment.py
|
|
|
|
full-check:
|
|
needs: [parse-command]
|
|
if: needs.parse-command.outputs.command == 'full-check'
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- name: Acknowledge command (eyes reaction)
|
|
env:
|
|
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
|
run: |
|
|
gh api -X POST \
|
|
/repos/${{ github.repository }}/issues/comments/${{ github.event.comment.id }}/reactions \
|
|
-f content=eyes
|
|
|
|
- name: Checkout repository
|
|
uses: actions/checkout@v4
|
|
|
|
- name: Dispatch main workflow
|
|
id: dispatch
|
|
env:
|
|
# NOTE: This uses `RERUN_BOT_TOKEN` instead of `GITHUB_TOKEN`,
|
|
# otherwise the recursive workflow protection prevents us from
|
|
# starting the `on_push_main` run.
|
|
# https://docs.github.com/en/actions/using-workflows/triggering-a-workflow#triggering-a-workflow-from-a-workflow
|
|
GH_TOKEN: ${{ secrets.RERUN_BOT_TOKEN }}
|
|
run: |
|
|
get_latest_workflow_run () {
|
|
local workflow_name=$1
|
|
local ref_name=$2
|
|
local created_after=$3
|
|
echo $(
|
|
# https://cli.github.com/manual/gh_run_list
|
|
# https://docs.github.com/en/search-github/getting-started-with-searching-on-github/understanding-the-search-syntax#query-for-dates
|
|
gh run list \
|
|
--workflow $workflow_name \
|
|
--event workflow_dispatch \
|
|
--branch $ref_name \
|
|
--created ">$created_after" \
|
|
--json databaseId
|
|
)
|
|
}
|
|
|
|
dispatch_workflow () {
|
|
local workflow_name=$1
|
|
local ref_name=$2
|
|
local inputs=$3
|
|
# https://cli.github.com/manual/gh_workflow_run
|
|
echo $inputs | gh workflow run $workflow_name --ref "refs/heads/$ref_name" --json
|
|
}
|
|
|
|
workflow_name='on_push_main.yml'
|
|
ref_name=$(gh pr view ${{ github.event.issue.number }} --json headRefName | jq -r '.headRefName')
|
|
inputs='{"CONCURRENCY":"pr-${{ github.event.issue.number }}-full-check"}'
|
|
now=$(date --utc --iso-8601=seconds)
|
|
|
|
echo "Dispatching workflow $workflow_name on branch $ref_name"
|
|
dispatch_workflow $workflow_name $ref_name $inputs
|
|
|
|
# `gh workflow run` does NOT return the ID.
|
|
# In fact, it returns absolutely nothing: https://github.com/cli/cli/issues/4001
|
|
# Instead, we have to wait for the workflow to start, and hope that nobody has
|
|
# started a workflow in parallel with us on the same branch.
|
|
|
|
echo "Fetching workflow run id…"
|
|
run_info=$(get_latest_workflow_run $workflow_name $ref_name $now)
|
|
echo $run_info
|
|
run_id=$(echo $run_info | jq -r '.[0].databaseId')
|
|
while [ $run_id == 'null' ]
|
|
do
|
|
run_info=$(get_latest_workflow_run $workflow_name $ref_name $now)
|
|
echo $run_info
|
|
run_id=$(echo $run_info | jq -r '.[0].databaseId')
|
|
sleep 1
|
|
done
|
|
echo "Workflow run: https://github.com/rerun-io/rerun/actions/runs/$run_id"
|
|
|
|
echo "workflow_run_url=https://github.com/rerun-io/rerun/actions/runs/$run_id" >> "$GITHUB_OUTPUT"
|
|
|
|
- name: Create PR comment
|
|
# https://github.com/mshick/add-pr-comment
|
|
uses: mshick/add-pr-comment@v3.9.1
|
|
with:
|
|
# We use `GITHUB_TOKEN` here so there is no chance that we'll trigger another run of this workflow.
|
|
# https://docs.github.com/en/actions/using-workflows/triggering-a-workflow#triggering-a-workflow-from-a-workflow
|
|
repo-token: ${{ secrets.GITHUB_TOKEN }}
|
|
message-id: "pr-${{ github.event.issue.number }}-${{ github.run_id }}"
|
|
message: |
|
|
Started a full build: ${{ steps.dispatch.outputs.workflow_run_url }}
|