Remove extra build info from aggregate coverage reports

pcolby · Nov 25, 2023 · 94cc96e · 94cc96e
1 parent e76f798
commit 94cc96e
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
@@ -492,10 +492,12 @@ jobs:
       with:
         name: coverage-report
         path: main/cov
-    - name: Remove build numbers from pre-releases
+    - name: Cleanup coverage versions
       run: |
         shopt -s globstar
-        sed -i -Ee 's/(headerValue">([0-9]+\.){2}[0-9]+-pre\+)[0-9]+\.?/\1/' main/cov/**/*.html
+        # Remove build numbers from pre-releases, and remove extra build info (such as ".linux.x86-64.gcc-cov")
+        # from all releases, since this coverage report is an aggregation of many build hosts.
+        sed -i -Ee 's/(headerValue">([0-9]+\.){2}[0-9]+)(((-pre)\+[0-9]+)|(\+[0-9]+))\..*</\1\5\6</' main/cov/**/*.html
     - name: Inspect changes # for diagnostics only.
       run: git status && git diff
     - name: Push updates