codecov: change override branch to master
This is to investigate the recent failure to upload coverage reports after
merging into master as the master branch. This is required due to the model
codecov uses to calculate coverage changes.
The change here was suggested by codecov support as an experiment.
@@ -65,4 +65,4 @@ jobs:
with:
override_pr: ${{ github.event.pull_request.number }}
override_commit: ${{ github.event.pull_request.merge_commit_sha }}
- override_branch: "refs/heads/master"
+ override_branch: "master"
