faster doc build

c-cube · Jan 10, 2024 · fc69ce4 · fc69ce4
1 parent d1af13a
commit fc69ce4
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: 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 .