ci: give coverage write permission

Author: WiseMrMusa

.github/workflows/coverage.yml

@@ -19,6 +19,7 @@ on:
 permissions:
   contents: read
   actions: write
+  pull-requests: write
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}