diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index d6eedf80..ef3026e5 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -19,10 +19,10 @@ jobs: - run: sudo apt-get update && echo 1 if: ${{ matrix.os == 'ubuntu-latest' }} - - name: Use OCaml ${{ matrix.ocaml-compiler }} + - name: Use OCaml uses: ocaml/setup-ocaml@v2 with: - ocaml-compiler: ${{ matrix.ocaml-compiler }} + ocaml-compiler: 4.13.x opam-depext-flags: --with-test - run: opam install . --with-doc --deps-only --with-test