From c3da7ea72567c6f6365f6f7b66ec758f87c4dd96 Mon Sep 17 00:00:00 2001
From: Pierre Villemot <pierre.villemot@ocamlpro.com>
Date: Mon, 22 Jul 2024 14:38:24 +0200
Subject: [PATCH] try with a deploy key

---
 .github/workflows/build_doc.yml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/.github/workflows/build_doc.yml b/.github/workflows/build_doc.yml
index d5994d8a8..2fe29b1dd 100644
--- 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