Skip to content

Add GitHub native coverage comments for PRs #606

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
Copilot wants to merge 8 commits into
base: master
Choose a base branch
from
Draft

Add GitHub native coverage comments for PRs #606

Changes from 3 commits
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
a06cbd9
Initial plan
Copilot Feb 7, 2026
ba8e458
Add PR context to codecov upload for proper PR comments
Copilot Feb 7, 2026
dbbeaf1
Refine codecov upload to handle PR and push events separately
Copilot Feb 7, 2026
31d0726
Add inline documentation for codecov PR context handling
Copilot Feb 7, 2026
5b0dd8f
Use consistent conditional logic for codecov upload steps
Copilot Feb 7, 2026
6f009d0
Add validation for PR number extraction and handle edge cases
Copilot Feb 7, 2026
5f476a2
Add codecov upload to CI pipeline for PRs (correct solution)
Copilot Feb 7, 2026
03f70cd
Replace Codecov with GitHub native coverage comments for PRs
Copilot Feb 7, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
26 changes: 25 additions & 1 deletion .github/workflows/postprocess.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -38,7 +38,31 @@
- name: Generate Coverage badge
run: |
genbadge coverage -i coverage.xml -o htmlcov/coverage-badge.svg
- name: Upload coverage reports to Codecov
- name: Get PR number
id: get_pr
run: |
if [ "${{ github.event.workflow_run.event }}" = "pull_request" ]; then
PR_NUMBER=$(jq -r '.workflow_run.pull_requests[0].number' <<< '${{ toJson(github.event) }}')
Comment thread Fixed
echo "pr_number=$PR_NUMBER" >> $GITHUB_OUTPUT
echo "is_pr=true" >> $GITHUB_OUTPUT
echo "PR Number: $PR_NUMBER"
else
echo "is_pr=false" >> $GITHUB_OUTPUT
echo "Not a PR event"
fi
- name: Upload coverage reports to Codecov (PR)
if: steps.get_pr.outputs.is_pr == 'true'
uses: codecov/codecov-action@v5
with:
token: ${{ secrets.CODECOV_TOKEN }}
files: ./coverage.xml
fail_ci_if_error: false
verbose: true
override_pr: ${{ steps.get_pr.outputs.pr_number }}
override_commit: ${{ github.event.workflow_run.head_sha }}
override_branch: ${{ github.event.workflow_run.head_branch }}
- name: Upload coverage reports to Codecov (Push)
if: steps.get_pr.outputs.is_pr != 'true'
uses: codecov/codecov-action@v5
with:
token: ${{ secrets.CODECOV_TOKEN }}
Expand Down