From 3cb76f6f41a66194327b9b6e3d66475d8c32a489 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 7 Feb 2024 15:33:29 -0500
Subject: [PATCH] chore: CI

---
 .github/workflows/gh-pages.yml | 14 +++++++++-----
 1 file changed, 9 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
index 1f11a2b8..840836d2 100644
--- a/.github/workflows/gh-pages.yml
+++ b/.github/workflows/gh-pages.yml
@@ -15,11 +15,15 @@ jobs:
       - name: Use OCaml
         uses: ocaml/setup-ocaml@v2
         with:
-          ocaml-compiler: 5.0
+          ocaml-compiler: 5.1.x
           dune-cache: true
+          allow-prerelease-opam: true
 
-      - name: Deploy odoc to GitHub Pages
-        uses: ocaml/setup-ocaml/deploy-doc@v2
+      - name: Deploy
+        uses: peaceiris/actions-gh-pages@v3
         with:
-          destination-dir: dev
-          enable-jekyll: true
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          publish_dir: ./_doc/html
+          destination_dir: dev
+          enable_jekyll: true
+