diff --git a/.github/workflows/deploy-doc.yml b/.github/workflows/deploy-doc.yml index df6c436..fb89fb8 100644 --- a/.github/workflows/deploy-doc.yml +++ b/.github/workflows/deploy-doc.yml @@ -34,7 +34,7 @@ jobs: - name: Setup OCaml uses: ocaml/setup-ocaml@v3 with: - ocaml-compiler: "5.2.x" + ocaml-compiler: "5.3.x" opam-repositories: | default: https://github.com/ocaml/opam-repository.git mbarbin: https://github.com/mbarbin/opam-repository.git diff --git a/.github/workflows/test-deploy-doc.yml b/.github/workflows/test-deploy-doc.yml index 16fad49..af800a5 100644 --- a/.github/workflows/test-deploy-doc.yml +++ b/.github/workflows/test-deploy-doc.yml @@ -34,7 +34,7 @@ jobs: - name: Setup OCaml uses: ocaml/setup-ocaml@v3 with: - ocaml-compiler: "5.2.x" + ocaml-compiler: "5.3.x" opam-repositories: | default: https://github.com/ocaml/opam-repository.git mbarbin: https://github.com/mbarbin/opam-repository.git