diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index fe8218a9..c18dffc9 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -13,9 +13,9 @@ jobs: - uses: actions/checkout@main - name: Use OCaml - uses: ocaml/setup-ocaml@v2 + uses: ocaml/setup-ocaml@v3 with: - ocaml-compiler: '4.14' + ocaml-compiler: '5.2' dune-cache: false - name: Deps diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index c2fceb3b..d1459b78 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -26,7 +26,7 @@ jobs: steps: - uses: actions/checkout@main - name: Use OCaml ${{ matrix.ocaml-compiler }} - uses: ocaml/setup-ocaml@v2 + uses: ocaml/setup-ocaml@v3 with: ocaml-compiler: ${{ matrix.ocaml-compiler }} dune-cache: true