| name: Metrics Comment |
| |
| on: |
| workflow_run: |
| workflows: ["Build"] |
| types: |
| - completed |
| |
| jobs: |
| post-comment: |
| runs-on: ubuntu-latest |
| if: > |
| github.event.workflow_run.event == 'pull_request' && |
| github.event.workflow_run.conclusion == 'success' |
| permissions: |
| actions: read |
| pull-requests: write |
| steps: |
| - name: Download Artifacts |
| uses: actions/download-artifact@v4 |
| with: |
| run-id: ${{ github.event.workflow_run.id }} |
| github-token: ${{ secrets.GITHUB_TOKEN }} |
| name: metrics-comment |
| |
| - name: Read PR Number |
| id: pr_number |
| run: | |
| if [ -f pr_number.txt ]; then |
| echo "number=$(cat pr_number.txt)" >> $GITHUB_OUTPUT |
| fi |
| |
| - name: Post Code Metrics as PR Comment |
| if: steps.pr_number.outputs.number != '' |
| uses: marocchino/sticky-pull-request-comment@v2 |
| with: |
| header: code-metrics |
| path: metrics_compare.md |
| number: ${{ steps.pr_number.outputs.number }} |