From 94cc96ebce862b4de54a5e126a9ef6c001e006a1 Mon Sep 17 00:00:00 2001
From: Paul Colby <git@colby.id.au>
Date: Sat, 25 Nov 2023 12:22:31 +1100
Subject: [PATCH] Remove extra build info from aggregate coverage reports

---
 .github/workflows/build.yaml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
index aa7b66c7c..924ddf3d6 100644
--- 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