chore: CI

c-cube · Feb 7, 2024 · 3f09c17 · 3f09c17
1 parent 89e3fb9
commit 3f09c17
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
@@ -15,8 +15,9 @@ 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