Try giving all permissions for commenting

GaloisInc · Aug 29, 2024 · fde2065 · fde2065
1 parent 6d1dbc3
commit fde2065
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/.github/workflows/ci-pr-bench.yml b/.github/workflows/ci-pr-bench.yml
@@ -8,10 +8,7 @@ on:
 env:
   CERBERUS_IMAGE_ID: ghcr.io/rems-project/cerberus/cn:release
 
-permissions:
-  # Allow commenting on the PR
-  pull-requests: write
-  issues: write
+permissions: write-all
 
 # cancel in-progress job when a new push is performed
 concurrency: