diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index 3cf63081..6b52e798 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -14,7 +14,7 @@ jobs: # needed for depext to work - run: sudo apt-get update && sudo apt-get install mccs - - uses: ocaml/setup-ocaml@v2 + - uses: ocaml/setup-ocaml@v3 with: ocaml-compiler: '5.1.x' dune-cache: true diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 748a8a45..a366f387 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -33,7 +33,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 }} opam-depext-flags: --with-test