faster doc build

c-cube · Jan 10, 2024 · b296e15 · b296e15
1 parent d1af13a
commit b296e15
Showing 1 changed file with 3 additions and 2 deletions.
diff --git 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: avsm/setup-ocaml@v2
         with:
-          ocaml-version: '4.12.0'
+          ocaml-version: '4.14.x'
+          allow-prerelease-opam: true
 
       - name: Pin
         run: opam pin -n .