Add coverage in title

Author: james-toussaint

.github/workflows/coverage.yml

@@ -27,4 +27,4 @@ jobs:
            -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":"$COVERAGE", "summary":""}}' 
+           -d '{"name":"Coverage ratio", "head_sha":"${{ github.event.pull_request.head.sha }}", "status":"completed", "conclusion":"success","output":{"title":"${{env.COVERAGE}}", "summary":""}}'