Update .github/workflows/doc.yml

LPCIC · Dec 8, 2023 · 7958e13 · 7958e13
1 parent 936193a
commit 7958e13
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.09.1
 
     - name: install deps
       run: |