Ecosystem check comment #10
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 | |
| permissions: | |
| pull-requests: write | |
| jobs: | |
| comment: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: dawidd6/action-download-artifact@v3 | |
| 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 | |
| - 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@v3 | |
| 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 | |
| - name: Generate comment content | |
| id: generate-comment | |
| if: steps.download-ecosystem-result.outputs.found_artifact == 'true' | |
| run: | | |
| # 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 |