diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index 848406a..ce79eeb 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -18,9 +18,10 @@ jobs: path: ~/.opam key: opam-ubuntu-latest-4.12.0 - - uses: avsm/setup-ocaml@v1 + - uses: avsm/setup-ocaml@v2 with: - ocaml-version: '4.12.0' + ocaml-version: '4.14.x' + allow-prerelease-opam: true - name: Pin run: opam pin -n .