Changed paths:
M .github/workflows/upload-coverage.yml
Log Message:
-----------
.github/workflows: dynamically fetch PR number for fork coverage reporting
The github.event.workflow_run.pull_requests array is intentionally kept empty by GitHub Actions when the triggering
workflow is an external PR from a fork. This led to Codecov failing to figure out the PR number and not reporting
coverage updates onto the PR pages.
This patch dynamically fetches the PR number based on the commit SHA using the GitHub CLI for pull requests from
forks, and falls back to the standard PR number for internal pull requests.