ci: post coverage report to PR

Signed-off-by: Marco Casaroli <marco.casaroli@gmail.com>

Author: casaroli

.github/workflows/linux.yml

@@ -5,9 +5,6 @@
 
 name: Linux
 
-permissions:
-  pull-requests: write
-
 on:
   workflow_call:
     inputs:
@@ -60,10 +57,10 @@ jobs:
       - name: Delete build directory
         run: rm -rf build
 
-      - name: Configure (source coverage)
+      - name: Configure (test coverage)
         run: mkdir build && cd build && cmake ../tests/coverage
 
-      - name: Build and run (source coverage)
+      - name: Build and run (test coverage)
         working-directory: build
         run: make coverage report.md
 
@@ -77,10 +74,8 @@ jobs:
       - name: Report code coverage
         uses: marocchino/sticky-pull-request-comment@v3
         with:
-          message: |
-            ```
-            $(cat build/report.txt)
-            ```
+          GITHUB_TOKEN: ${{ secrets.TOKEN_WRITE_PR }}
+          path: build/report.md
 
       - name: Delete build directory
         run: rm -rf build