[Github Actions] new test for HTML coverage report generation

Author: Gonzalo Diaz

.github/workflows/make-coverage-html.yml

@@ -0,0 +1,68 @@
+# yamllint disable rule:line-length
+# This workflow runs make coverage/html and verifies that the coverage HTML report is generated.
+# yamllint enable rule:line-length
+
+---
+name: Make Coverage HTML
+
+env:
+  REPORT_DIR: "./htmlcov/"
+  REPORT_FILE: "index.html"
+
+on: # yamllint disable-line rule:truthy
+  push:
+    branches: ["main"]
+  pull_request:
+    branches: ["main"]
+  workflow_dispatch:
+
+jobs:
+  make-coverage-html:
+    name: "Run make coverage/html and verify coverage HTML"
+    runs-on: ubuntu-24.04
+
+    steps:
+      - uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6
+        with:
+          fetch-depth: 0
+
+      - name: Setup Python
+        uses: actions/setup-python@master
+        with:
+          python-version: 3.14
+
+      - name: Install tooling
+        run: >
+          sudo apt install pipenv
+
+      - name: Tooling check
+        run: |
+          python3 --version
+          pipenv --version
+          make --version
+
+      - name: Install
+        run: |
+          # Use the lockfile to install deterministic, audited dependencies
+          pipenv sync --dev
+
+      - name: Run coverage HTML target
+        run: make coverage/html
+
+      - name: Verify coverage HTML artifact
+        shell: bash
+        run: |
+          if [ ! -f $REPORT_DIR/$REPORT_FILE ]; then
+            echo "Coverage HTML file not found: $REPORT_DIR/$REPORT_FILE"
+            exit 1
+          fi
+          if [ ! -s $REPORT_DIR/$REPORT_FILE ]; then
+            echo "Coverage HTML file is empty: $REPORT_DIR/$REPORT_FILE"
+            exit 1
+          fi
+
+      - name: Upload coverage HTML artifact
+        uses: actions/upload-artifact@v7
+        with:
+          name: coverage-report-html
+          path: ${{ env.REPORT_DIR }}