diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index a0f3e5eb..51187fd9 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -13,9 +13,9 @@ jobs: uses: actions/checkout@v3 - name: Use OCaml - uses: ocaml/setup-ocaml@v2 + uses: ocaml/setup-ocaml@v3 with: - ocaml-compiler: 5.1.x + ocaml-compiler: 5.03.x dune-cache: true allow-prerelease-opam: true diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index e4d7b91f..712f1fca 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -18,7 +18,7 @@ jobs: ocaml-compiler: - 4.08.x - 4.14.x - - 5.01.x + - 5.03.x runs-on: ${{ matrix.os }} @@ -30,7 +30,7 @@ jobs: if: ${{ matrix.os == 'ubuntu-latest' }} - name: Use OCaml ${{ matrix.ocaml-compiler }} - uses: ocaml/setup-ocaml@v2 + uses: ocaml/setup-ocaml@v3 with: ocaml-compiler: ${{ matrix.ocaml-compiler }} allow-prerelease-opam: true