Ecosystem check comment #1
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
name: Ecosystem check comment | |
on: | |
workflow_run: | |
workflows: [CI] | |
types: [completed] | |
workflow_dispatch: | |
inputs: | |
workflow_run_id: | |
description: The ecosystem workflow that triggers the workflow run | |
required: true | |
jobs: | |
comment: | |
runs-on: ubuntu-latest | |
permissions: | |
pull-requests: write | |
steps: | |
- uses: dawidd6/action-download-artifact@v7 | |
name: Download pull request number | |
with: | |
name: pr-number | |
run_id: ${{ github.event.workflow_run.id || github.event.inputs.workflow_run_id }} | |
if_no_artifact_found: ignore | |
allow_forks: true | |
- name: Parse pull request number | |
id: pr-number | |
run: | | |
if [[ -f pr-number ]] | |
then | |
echo "pr-number=$(<pr-number)" >> "$GITHUB_OUTPUT" | |
fi | |
- uses: dawidd6/action-download-artifact@v7 | |
name: "Download ecosystem results" | |
id: download-ecosystem-result | |
if: steps.pr-number.outputs.pr-number | |
with: | |
name: ecosystem-result | |
workflow: ci.yaml | |
pr: ${{ steps.pr-number.outputs.pr-number }} | |
path: pr/ecosystem | |
workflow_conclusion: completed | |
if_no_artifact_found: ignore | |
allow_forks: true | |
- name: Generate comment content | |
id: generate-comment | |
if: steps.download-ecosystem-result.outputs.found_artifact == 'true' | |
run: | | |
# Guard against malicious ecosystem results that symlink to a secret | |
# file on this runner | |
if [[ -L pr/ecosystem/ecosystem-result ]] | |
then | |
echo "Error: ecosystem-result cannot be a symlink" | |
exit 1 | |
fi | |
# Note this identifier is used to find the comment to update on | |
# subsequent runs | |
echo '<!-- generated-comment ecosystem -->' >> comment.txt | |
echo '## `ruff-ecosystem` results' >> comment.txt | |
cat pr/ecosystem/ecosystem-result >> comment.txt | |
echo "" >> comment.txt | |
echo 'comment<<EOF' >> "$GITHUB_OUTPUT" | |
cat comment.txt >> "$GITHUB_OUTPUT" | |
echo 'EOF' >> "$GITHUB_OUTPUT" | |
- name: Find existing comment | |
uses: peter-evans/find-comment@v3 | |
if: steps.generate-comment.outcome == 'success' | |
id: find-comment | |
with: | |
issue-number: ${{ steps.pr-number.outputs.pr-number }} | |
comment-author: "github-actions[bot]" | |
body-includes: "<!-- generated-comment ecosystem -->" | |
- name: Create or update comment | |
if: steps.find-comment.outcome == 'success' | |
uses: peter-evans/create-or-update-comment@v4 | |
with: | |
comment-id: ${{ steps.find-comment.outputs.comment-id }} | |
issue-number: ${{ steps.pr-number.outputs.pr-number }} | |
body-path: comment.txt | |
edit-mode: replace |