diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index e2af947d..02a132ec 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -12,10 +12,10 @@ jobs: - name: Checkout code uses: actions/checkout@v3 - - name: Use OCaml 4.14.x + - name: Use OCaml uses: ocaml/setup-ocaml@v2 with: - ocaml-compiler: 4.14.x + ocaml-compiler: 5.0 dune-cache: true - name: Deploy odoc to GitHub Pages