mirror of https://github.com/astral-sh/ruff
89 lines
3.0 KiB
YAML
89 lines
3.0 KiB
YAML
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@20319c5641d495c8a52e688b7dc5fada6c3a9fbc # v8
|
|
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@20319c5641d495c8a52e688b7dc5fada6c3a9fbc # v8
|
|
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@3eae4d37986fb5a8592848f6a574fdf654e61f9e # v3.1.0
|
|
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@71345be0265236311c031f5c7866368bd1eff043 # 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
|