Report coverage at end of tests

Author: jrha

.github/workflows/python.yaml

@@ -7,6 +7,10 @@ jobs:
 
     runs-on: ubuntu-latest
 
+    permissions:
+      contents: read
+      pull-requests: write
+
     steps:
     - uses: actions/checkout@v4
     - name: Set up Python 3.9
@@ -25,8 +29,16 @@ jobs:
         # exit-zero treats all errors as warnings. The GitHub editor is 127 chars wide
         flake8 . --count --exit-zero --max-complexity=10 --max-line-length=127 --statistics
     - name: Run unit tests
-      run: |
-        python panc/src/main/scripts/panlint/tests.py
-    - name: Produce coverage report
       run: |
         coverage run --source=panc/src/main/scripts/panlint --omit panc/src/main/scripts/panlint/tests.py panc/src/main/scripts/panlint/tests.py
+    - name: Report Coverage
+      env:
+        TERM: xterm
+      run: |
+        coverage report
+        coverage report --format=markdown >> $GITHUB_STEP_SUMMARY
+        # Produce a quick and dirty coloured annotation
+        coverage annotate
+        sed 's#^!#'"$(tput setaf 1)"'!#' panc/src/main/scripts/panlint/panlint.py,cover |
+          sed 's#^>#'"$(tput setaf 2)"'>#' |
+          sed 's#^\([^\\]\)#'"$(tput setaf 7)"'\1#'