[update] code coverage to be published to github pages and link to each file changed in the pull request.

Author: vmarcella

.github/workflows/coverage.yml

@@ -12,6 +12,8 @@ on:
 permissions:
   contents: read
   pull-requests: write
+  pages: write
+  id-token: write
 
 defaults:
   run:
@@ -67,6 +69,14 @@ jobs:
             --json \
             --output-path coverage.json
 
+      - name: Generate HTML coverage report
+        run: |
+          cargo llvm-cov --workspace \
+            --features lambda-rs/with-vulkan,lambda-rs/audio-output-device \
+            --html \
+            --output-dir coverage-html \
+            --no-run
+
       - name: Get changed files in PR
         if: github.event_name == 'pull_request'
         id: changed
@@ -97,11 +107,18 @@ jobs:
         id: comment
         env:
           CHANGED_FILES: ${{ steps.changed.outputs.files }}
+          RUN_ID: ${{ github.run_id }}
+          REPO: ${{ github.repository }}
         run: |
+          # Base URL for GitHub Pages coverage (from main branch)
+          PAGES_BASE="https://lambda-sh.github.io/lambda/coverage"
+
           # Build the comment body
           {
             echo "### ✅ Coverage Report"
             echo ""
+            echo "📊 [View Full HTML Report](https://github.com/${REPO}/actions/runs/${RUN_ID}) (download artifact)"
+            echo ""
             echo "#### Overall Coverage"
             echo ""
             echo "| Metric | Value |"
@@ -129,7 +146,9 @@ jobs:
                   file_total=$(echo "$match" | cut -d'|' -f4)
                   # Format percentage to 2 decimal places
                   file_pct_fmt=$(printf "%.2f" "$file_pct")
-                  echo "| \`${file}\` | ${file_pct_fmt}% | ${file_covered}/${file_total} |"
+                  # Create HTML filename (replace / with path structure, add .html)
+                  html_file=$(echo "$file" | sed 's|/|/|g').html
+                  echo "| [\`${file}\`](${PAGES_BASE}/${html_file}) | ${file_pct_fmt}% | ${file_covered}/${file_total} |"
                   pr_covered=$((pr_covered + file_covered))
                   pr_total=$((pr_total + file_total))
                 else
@@ -148,7 +167,7 @@ jobs:
 
             echo ""
             echo "---"
-            echo "*Generated by [cargo-llvm-cov](https://github.com/taiki-e/cargo-llvm-cov)*"
+            echo "*Generated by [cargo-llvm-cov](https://github.com/taiki-e/cargo-llvm-cov) · [Latest main coverage](${PAGES_BASE})*"
           } > comment_body.md
 
           # Store as output (handle multiline)
@@ -210,9 +229,46 @@ jobs:
               console.log('Created new coverage comment');
             }
 
+      - name: Upload coverage HTML as artifact
+        uses: actions/upload-artifact@v4
+        with:
+          name: coverage-html-report
+          path: coverage-html/
+          retention-days: 30
+
       - name: Upload coverage JSON as artifact
         uses: actions/upload-artifact@v4
         with:
-          name: coverage-report
+          name: coverage-json
           path: coverage.json
           retention-days: 30
+
+  # Deploy HTML report to GitHub Pages on pushes to main
+  deploy-coverage:
+    name: Deploy coverage to GitHub Pages
+    needs: coverage
+    if: github.event_name == 'push' && github.ref == 'refs/heads/main'
+    runs-on: ubuntu-latest
+
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+
+    steps:
+      - name: Download coverage HTML artifact
+        uses: actions/download-artifact@v4
+        with:
+          name: coverage-html-report
+          path: coverage-html
+
+      - name: Setup Pages
+        uses: actions/configure-pages@v4
+
+      - name: Upload to GitHub Pages
+        uses: actions/upload-pages-artifact@v3
+        with:
+          path: coverage-html
+
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v4