Update doc.yml

LPCIC · Sep 20, 2024 · 1e80db4 · 1e80db4
1 parent 8550a8c
commit 1e80db4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
@@ -25,7 +25,7 @@ jobs:
     - name: setup ocaml
       uses: avsm/setup-ocaml@v1
       with:
-        ocaml-version: 4.10.1
+        ocaml-version: 4.14.2
 
     - name: install deps
       run: |