Disable HPC badge generation.

.github/workflows/gh-pages.yml

@@ -38,36 +38,36 @@ jobs:
       run: |
         cabal v2-build --enable-coverage
 
-    - name: Generate HPC files
-      run: |
-        set -o xtrace
-        for gold in examples/golden/*.golden; do
-          BASE=examples/$(basename $gold)
-          BASE=${BASE%.golden}
-          cabal v2-exec --enable-coverage -- ghc -package reanimate "$BASE.hs" --make
-          reanimate_datadir=$(pwd) ${BASE%.hs} test > /dev/null
-        done;
+    # - name: Generate HPC files
+    #   run: |
+    #     set -o xtrace
+    #     for gold in examples/golden/*.golden; do
+    #       BASE=examples/$(basename $gold)
+    #       BASE=${BASE%.golden}
+    #       cabal v2-exec --enable-coverage -- ghc -package reanimate "$BASE.hs" --make
+    #       reanimate_datadir=$(pwd) ${BASE%.hs} test > /dev/null
+    #     done;
     
-    - name: Merge HPC files
-      run: hpc sum --union *.tix --output=total.tix
+    # - name: Merge HPC files
+    #   run: hpc sum --union *.tix --output=total.tix
 
-    - name: Report
-      run: |
-        hpc report --hpcdir $(find dist-newstyle -name 'hpc')/vanilla/mix/*/ total.tix
+    # - name: Report
+    #   run: |
+    #     hpc report --hpcdir $(find dist-newstyle -name 'hpc')/vanilla/mix/*/ total.tix
 
-    - name: Markup
-      run: |
-        hpc markup --destdir=hpc --hpcdir $(find dist-newstyle -name 'hpc')/vanilla/mix/*/ total.tix
+    # - name: Markup
+    #   run: |
+    #     hpc markup --destdir=hpc --hpcdir $(find dist-newstyle -name 'hpc')/vanilla/mix/*/ total.tix
 
-    - name: HPC Badge
-      run: |
-        COVERAGE=$(cat hpc/hpc_index.html | tr '\n' ' ' | sed "s/.*Program Coverage Total.*>\([0-9]\{1,3\}\)%.*>\([0-9]\{1,3\}\)%.*>\([0-9]\{1,3\}\)%.*/\1/")
-        echo "\
-          { \"schemaVersion\": 1, \
-            \"label\": \"api tests\", \
-            \"message\": \"$COVERAGE%\", \
-            \"color\": \"success\" \
-          }" > hpc/hpc_badge.json
+    # - name: HPC Badge
+    #   run: |
+    #     COVERAGE=$(cat hpc/hpc_index.html | tr '\n' ' ' | sed "s/.*Program Coverage Total.*>\([0-9]\{1,3\}\)%.*>\([0-9]\{1,3\}\)%.*>\([0-9]\{1,3\}\)%.*/\1/")
+    #     echo "\
+    #       { \"schemaVersion\": 1, \
+    #         \"label\": \"api tests\", \
+    #         \"message\": \"$COVERAGE%\", \
+    #         \"color\": \"success\" \
+    #       }" > hpc/hpc_badge.json
 
     - name: Haddock Badge
       run: |