File tree Expand file tree Collapse file tree 1 file changed +2
-1
lines changed
Expand file tree Collapse file tree 1 file changed +2
-1
lines changed Original file line number Diff line number Diff line change 8282 generate-summary : true
8383 - name : Add coverage comment to PR
8484 if : ${{ matrix.release_build && github.event_name == 'pull_request' }}
85+ continue-on-error : true
8586 run : |
8687 # Convert decimal to percentage and round to 1 decimal place
8788 COVERAGE=$(awk -v cov="${{ steps.jacoco.outputs.coverage }}" 'BEGIN { printf "%.1f", cov * 100 }')
@@ -120,7 +121,7 @@ jobs:
120121 gh api -X DELETE "repos/${{ github.repository }}/issues/comments/$COMMENT_ID" || true
121122 fi
122123
123- # Post new comment
124+ # Post new comment (may fail for PRs from forks due to permissions)
124125 gh pr comment ${{ github.event.pull_request.number }} --body "$COMMENT_BODY"
125126 env :
126127 GH_TOKEN : ${{ secrets.GITHUB_TOKEN }}
You can’t perform that action at this time.
0 commit comments