ci: fix posting of coverage messages to GitHub PRs

claranet · Oct 10, 2023 · 5a8512d · 5a8512d
1 parent a1a9505
commit 5a8512d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -15,6 +15,7 @@ jobs:
     permissions:
       contents: write
       id-token: write
+      pull-requests: write
 
     steps:
       - name: Checkout code