diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml index 1474d7b47..958a3fd30 100644 --- 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: |