From fc69ce4c919cdd04fb5041410fd61d5a3f742702 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 10 Jan 2024 12:52:56 -0500
Subject: [PATCH] faster doc build

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

diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
index 848406a..8736cd2 100644
--- a/.github/workflows/gh-pages.yml
+++ b/.github/workflows/gh-pages.yml
@@ -18,9 +18,10 @@ jobs:
           path: ~/.opam
           key: opam-ubuntu-latest-4.12.0
 
-      - uses: avsm/setup-ocaml@v1
+      - uses: ocaml/setup-ocaml@v2
         with:
-          ocaml-version: '4.12.0'
+          ocaml-compiler: '4.14.x'
+          allow-prerelease-opam: true
 
       - name: Pin
         run: opam pin -n .