Add push permission

Signed-off-by: Leonardo Carreras <[email protected]>
leonardocarreras · Feb 6, 2025 · fbf8daf · fbf8daf
1 parent 50e4e3f
commit fbf8daf
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/.github/workflows/documentation.yaml b/.github/workflows/documentation.yaml
@@ -4,7 +4,7 @@ on:
   push:
     branches:
       - master
-  
+
   pull_request:
     types: [opened, synchronize, reopened]
 
@@ -51,6 +51,7 @@ jobs:
     permissions:
       pages: write
       id-token: write
+      contents: write
 
     steps:
     - uses: actions/checkout@v4
@@ -94,4 +95,6 @@ jobs:
         github_token: ${{ secrets.GITHUB_TOKEN }}
         publish_dir: ./public
         #   keep_files: true
-        publish_branch: gh-pages
+        publish_branch: gh-pages
+        user_name: 'github-actions[bot]'
+        user_email: 'github-actions[bot]@users.noreply.github.com'