Add GitHub native coverage comments for PRs#606

Draft

Copilot wants to merge 8 commits intomasterfrom

copilot/fix-codecov-issues

Commits on Feb 7, 2026

Initial plan
Copilot
committed
Add PR context to codecov upload for proper PR comments

Copilot
and
pancetta
committed
Refine codecov upload to handle PR and push events separately

Copilot
and
pancetta
committed
Add inline documentation for codecov PR context handling

Copilot
and
pancetta
committed
Use consistent conditional logic for codecov upload steps

Copilot
and
pancetta
committed
Add validation for PR number extraction and handle edge cases

Copilot
and
pancetta
committed
Add codecov upload to CI pipeline for PRs (correct solution)

Copilot
and
pancetta
committed
Replace Codecov with GitHub native coverage comments for PRs

Copilot
and
pancetta
committed