chore: add permissions for pr comment tool

jdx · May 12, 2024 · 64cb8da · 64cb8da
1 parent a88fee8
commit 64cb8da
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -16,6 +16,9 @@ env:
   CARGO_INCREMENTAL: 0
   MISE_TRUSTED_CONFIG_PATHS: ${{ github.workspace }}
 
+permissions:
+  pull-requests: write
+
 jobs:
   unit:
     runs-on: ubuntu-latest
@@ -149,4 +152,5 @@ jobs:
         if: github.event_name == 'pull_request'
         with:
           recreate: true
+          continue-on-error: true
           path: code-coverage-results.md