Remove code coverage report.

Author: adrianhall

.github/workflows/build.yml

@@ -149,21 +149,6 @@ jobs:
           path: ${{ github.workspace }}/code-coverage-results.md
           retention-days: 7
 
-      - name: Find GitHub PR ID
-        if: ${{ github.event_name == 'pull_request' }}
-        id: pr_finder
-        uses: jwalton/gh-find-current-pr@v1
-        with: 
-          github-token: ${{ secrets.GITHUB_TOKEN }}
-          
-      - name: Add coverage PR comment
-        if: ${{ github.event_name == 'pull_request' }}
-        uses: peter-evans/create-or-update-comment@v4
-        with:
-          token: ${{ secrets.GITHUB_TOKEN }}
-          issue-number: ${{ steps.pr_finder.outputs.number }},
-          body-path: ${{ github.workspace }}/code-coverage-results.md
-
   sign:
     needs: [build]
     if: ${{ github.ref == 'refs/heads/main' || startsWith(github.ref, 'refs/heads/rel') }}