Grant more permissions

kokkos · Jan 30, 2025 · dee1b5e · dee1b5e
1 parent 2e83efa
commit dee1b5e
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.github/workflows/deploy_docs.yml b/.github/workflows/deploy_docs.yml
@@ -5,6 +5,9 @@ on:
     branches: [ main ]
   pull_request:
 
+permissions:
+  contents: write
+
 jobs:
   build-and-deploy-docs:
     runs-on: ubuntu-latest
@@ -26,7 +29,7 @@ jobs:
         working-directory: ${{ env.docs-directory }}
         run: |
           make html
-      - name: Archive documentation
+      - name: Archivei documentation
         uses: actions/upload-artifact@v4
         with:
           name: documentation.tar.gz
@@ -38,7 +41,6 @@ jobs:
         run: touch .nojekyll
       # This action moves the content of `generated_docs` to the `deploy-doc-site` branch
       - name: Deploy docs
-        if: ${{ github.ref == 'refs/heads/main' }}
         uses: JamesIves/github-pages-deploy-action@v4
         with:
           branch: deploy-doc-site