File tree Expand file tree Collapse file tree 1 file changed +4
-5
lines changed
Expand file tree Collapse file tree 1 file changed +4
-5
lines changed Original file line number Diff line number Diff line change 2121 - completed
2222 workflow_dispatch :
2323permissions : read-all
24- concurrency :
25- group : ${{ github.workflow }}-${{ github.event_name }}-${{ github.ref_name }}-${{ github.event.number || github.sha }}
26- cancel-in-progress : true
2724
2825jobs :
2926 upload_coverage :
4643 chmod +x codecov
4744 - name : Upload to codecov
4845 run : |
49- # github does not reliably return the PR number for workflow_run. This workaround will get the PR (if a PR)
46+ # github's webhooks for workflow_run are unreliable, this guarantees to pull the PR number if a PR
47+ OWNER = "${FULL_NAME%/$NAME}"
5048 if [ "${{ github.repository_owner }}" != "${OWNER}" ]; then BRANCH="${OWNER}:${BRANCH}"; fi
5149 if [ $(git branch --show-current) != $BRANCH ]; then PR=$(gh pr view $BRANCH --json number -q .number); fi
5250 echo uploading $BRANCH
5856 env :
5957 GH_TOKEN : ${{ github.token }}
6058 BRANCH : ${{ github.event.workflow_run.head_branch }}
61- OWNER : ${{ github.event.workflow_run.head_repository.owner.name }}
59+ NAME : $${{ github.event.workflow_run.head_repository.name }}
60+ FULL_NAME : ${{ github.event.workflow_run.head_repository.full_name }}
You can’t perform that action at this time.
0 commit comments