From 37f8a237ff0cc3629eb20ab93aaebb9569c28406 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sun, 25 Feb 2024 22:21:22 -0500
Subject: [PATCH] CI

---
 .github/workflows/gh-pages.yml | 11 +++++------
 .github/workflows/main.yml     |  2 +-
 2 files changed, 6 insertions(+), 7 deletions(-)

diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
index 30b1dae..35a149d 100644
--- a/.github/workflows/gh-pages.yml
+++ b/.github/workflows/gh-pages.yml
@@ -4,7 +4,6 @@ on:
   push:
     branches:
       - main # Set a branch name to trigger deployment
-  pull_request:
 
 jobs:
   deploy:
@@ -16,22 +15,22 @@ jobs:
       - name: Use OCaml
         uses: ocaml/setup-ocaml@v2
         with:
-          ocaml-compiler: '5.0.x'
+          ocaml-compiler: '5.1.x'
           allow-prerelease-opam: true
           dune-cache: true
 
       - run: opam pin odoc 2.2.2 -y -n
         # crash with 2.4, see https://github.com/ocaml/odoc/issues/1066
       - name: Deps
-        run: opam install trace trace-tef trace-fuchsia ppx_trace -d
+        run: opam install odig trace trace-tef trace-fuchsia ppx_trace
 
       - name: Build
-        run: opam exec -- dune build @doc
+        run: opam exec -- odig odoc --cache-dir=_doc/ trace trace-tef trace-fuchsia ppx_trace
 
       - name: Deploy
         uses: peaceiris/actions-gh-pages@v3
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
-          publish_dir: ./_build/default/_doc/_html/
+          publish_dir: ./_doc/html
           destination_dir: .
-          enable_jekyll: true
+          enable_jekyll: false
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index d7fc0c5..ade416d 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -20,7 +20,7 @@ jobs:
             - '4.08.x'
             - '4.12.x'
             - '4.14.x'
-            - '5.0.x'
+            - '5.1.x'
 
     runs-on: ${{ matrix.os }}
     steps: