add more permissions for github action

egraphs-good · Apr 26, 2024 · 623d5e1 · 623d5e1
1 parent 8f01c89
commit 623d5e1
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/.github/workflows/version.yml b/.github/workflows/version.yml
@@ -26,8 +26,7 @@ on:
 jobs:
   bump:
     runs-on: ubuntu-latest
-    permissions:
-      contents: write
+    permissions: write-all
     outputs:
       version: ${{ steps.bump.outputs.version }}
     steps:
@@ -118,8 +117,7 @@ jobs:
           args: --skip-existing *
   tag-and-merge:
     runs-on: ubuntu-latest
-    permissions:
-      contents: write
+    permissions: write-all
     needs: [release, bump]
     steps:
       - uses: actions/checkout@v4