From 3e6213aee735b29419f2e5133eaca82f3ecfdb3e Mon Sep 17 00:00:00 2001
From: Pierre Villemot <pierre.villemot@ocamlpro.com>
Date: Mon, 22 Jul 2024 15:00:41 +0200
Subject: [PATCH] try another github action...

---
 .github/workflows/build_doc.yml | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/build_doc.yml b/.github/workflows/build_doc.yml
index dc1fdf719..38105d40b 100644
--- a/.github/workflows/build_doc.yml
+++ b/.github/workflows/build_doc.yml
@@ -53,9 +53,7 @@ jobs:
           path: build_doc
 
       - name: Deploy
-        uses: peaceiris/actions-gh-pages@v4
+        uses: JamesIves/github-pages-deploy-action@v4
         with:
-          deploy_key: ${{ secrets.ACTIONS_DEPLOY_KEY }}
-          publish_dir: build_doc
-          destination_dir: dev
-          enable_jekyll: true
+          folder: build_doc
+          target-folder: dev