diff --git a/.github/workflows/deploy-doc.yml b/.github/workflows/deploy-doc.yml index e7d6fe8a..c5513342 100644 --- a/.github/workflows/deploy-doc.yml +++ b/.github/workflows/deploy-doc.yml @@ -12,10 +12,10 @@ jobs: - name: Checkout code uses: actions/checkout@v3 - - name: Use OCaml 4.13.x + - name: Use OCaml 4.14.x uses: ocaml/setup-ocaml@v2 with: - ocaml-compiler: 4.13.x + ocaml-compiler: 4.14.x dune-cache: true - name: Deploy odoc to GitHub Pages