:wrench: README

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index ce0a328960783b75e1ba535b38488ab863617ff6..5e6f090110d1843207eefdafc57d6d1a98ce937c 100644 (file)
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -67,6 +67,9 @@ jobs:
         branch=$(basename ${{ github.event.ref }})
         mkdir -p gwion-coverage-report/html/$branch
         mv *.html gwion-coverage-report/html/$branch
+        for a in ls */
+        do echo "  * [$a]($a)"
+        done > gwion-coverage-report/html/README.md
 
     - name: Push Report
       if: github.event_name == 'push'