From 239ee0069eba2f09018f5762199507cece6c2710 Mon Sep 17 00:00:00 2001
From: Jay Berkenbilt <ejb@ql.org>
Date: Sun, 18 Feb 2024 09:22:27 -0500
Subject: [PATCH] Try overriding branch name in CodeCov

As of this moment, if a specific commit's coverage data is uploaded to
CodeCov via a pull request, when that exact same commit builds in
main, the branch is not associated with the commit. I'm hoping this
might work around that.
---
 .github/workflows/main.yml | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 8529b418..87ccd61c 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -130,10 +130,18 @@ jobs:
       - uses: actions/checkout@v4
       - name: 'Code Coverage'
         run: build-scripts/test-coverage
+      - id: set_branch
+        run: |
+          if [ "${{ github.event_name }}" = "push" ]; then
+            echo "override_branch=${GITHUB_REF#refs/heads/}" >> $GITHUB_OUTPUT
+          else
+            echo "override_branch=" >> $GITHUB_OUTPUT
+          fi
       - name: Upload coverage reports to Codecov
         uses: codecov/codecov-action@v4
         with:
           token: ${{ secrets.CODECOV_TOKEN }}
+          override_branch: ${{ steps.set_branch.outputs.override_branch }}
   QuickJobs:
     runs-on: ubuntu-latest
     needs: Prebuild