Start coverage in title

Author: james-toussaint

.github/workflows/coverage.yml

@@ -20,10 +20,11 @@ jobs:
       - name: Create Check Run
         env:
           GH_TOKEN: ${{ github.token }}
+          COVERAGE: cat /tmp/coverage.out | grep "Global test coverage"
         run: |
           curl -L -X POST \
            -H "Accept: application/vnd.github+json" \
            -H "Authorization: Bearer $GH_TOKEN"\
            -H "X-GitHub-Api-Version: 2022-11-28" \
            https://api.github.com/repos/${{ github.repository }}/check-runs \
-           -d '{"name":"Coverage", "head_sha":"${{ github.event.pull_request.head.sha }}", "status":"completed", "conclusion":"success","output":{"title":"A Mighty title", "summary":""}}' 
+           -d '{"name":"Coverage", "head_sha":"${{ github.event.pull_request.head.sha }}", "status":"completed", "conclusion":"success","output":{"title":"$COVERAGE", "summary":""}}'