try with a deploy key

Halbaroth · Jul 22, 2024 · c3da7ea · c3da7ea
1 parent efa81b3
commit c3da7ea
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/.github/workflows/build_doc.yml b/.github/workflows/build_doc.yml
@@ -2,8 +2,6 @@ name: Build documentation
 
 on: [push, pull_request]
 
-permissions: write-all
-
 env:
   OCAML_DEFAULT_VERSION: 4.14.2
   # Add OPAMYES=true to the environment, this is usefill to replace `-y` option
@@ -57,7 +55,7 @@ jobs:
       - name: Deploy
         uses: peaceiris/actions-gh-pages@v4
         with:
-          github_token: ${{ secrets.GITHUB_TOKEN }}
+          github_token: ${{ secrets.ACTIONS_DEPLOY_KEY }}
           publish_dir: build_doc
           destination_dir: dev
           enable_jekyll: true