Measure coverage for integration tests in CI

.github/ci.sh

@@ -83,6 +83,14 @@ collect_hpc_files() {
   tar cvf hpc.tar.gz ${MIX_FILES} ${GENERATED_HS_FILES}
 }
 
+collect_all_html() {
+  local HTML_DIR=all-html
+  mkdir ${HTML_DIR}
+  (cd ${HTML_DIR} && gh run download -p "coverage-html-*")
+  ls
+  ls ${HTML_DIR}
+}
+
 install_system_deps() {
   (cd $BIN && curl -o bins.zip -sL "https://github.com/GaloisInc/what4-solvers/releases/download/$SOLVER_PKG_VERSION/$BUILD_TARGET_OS-bin.zip" && unzip -o bins.zip && rm bins.zip)
   chmod +x $BIN/*

.github/workflows/ci.yml

@@ -391,6 +391,9 @@ jobs:
 
   cabal-test:
     runs-on: ${{ matrix.os }}
+    permissions:
+      pages: write
+      id-token: write
     needs: [build]
     strategy:
       fail-fast: false
@@ -498,6 +501,19 @@ jobs:
           path: hpc-html
           name: coverage-html-${{ github.event.number }}
 
+      - shell: bash
+        if: matrix.hpc == true
+        run: .github/ci.sh collect_all_html
+
+      - name: Upload pages artifact
+        uses: actions/upload-pages-artifact@v1
+        with:
+          path: all-html
+
+      - name: Deploy to github pages
+        id: deployment
+        uses: actions/deploy-pages@v2
+
   build-push-image:
     runs-on: ubuntu-22.04
     needs: [config]