From 04852ac974ca619931188f7ad5b9ed7f676323e0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?No=C3=A9=20Ensarguet?= Date: Fri, 17 Jan 2025 11:40:52 +0100 Subject: [PATCH] Update ocaml-setup version --- .github/workflows/binary-releases.yml | 2 +- .github/workflows/check_correctness.yml | 2 +- .github/workflows/publish_doc.yml | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/binary-releases.yml b/.github/workflows/binary-releases.yml index 09ce898d6..3bcf6e724 100644 --- a/.github/workflows/binary-releases.yml +++ b/.github/workflows/binary-releases.yml @@ -46,7 +46,7 @@ jobs: # TODO : Cache gmp and mpfr builds - name: Set up OCaml - uses: ocaml/setup-ocaml@v2 + uses: ocaml/setup-ocaml@v3 with: # Version of the OCaml compiler to initialise ocaml-compiler: 4.11.2 diff --git a/.github/workflows/check_correctness.yml b/.github/workflows/check_correctness.yml index 3b3608aaf..0f3b6ffd2 100644 --- a/.github/workflows/check_correctness.yml +++ b/.github/workflows/check_correctness.yml @@ -37,7 +37,7 @@ jobs: ${{ runner.os }}- - name: Set up OCaml - uses: ocaml/setup-ocaml@v2 + uses: ocaml/setup-ocaml@v3 with: # Version of the OCaml compiler to initialise ocaml-compiler: 4.11.2 diff --git a/.github/workflows/publish_doc.yml b/.github/workflows/publish_doc.yml index a2095e250..86f78ea0b 100644 --- a/.github/workflows/publish_doc.yml +++ b/.github/workflows/publish_doc.yml @@ -25,7 +25,7 @@ jobs: ${{ runner.os }}- - name: Set up OCaml - uses: ocaml/setup-ocaml@v2 + uses: ocaml/setup-ocaml@v3 with: # Version of the OCaml compiler to initialise ocaml-compiler: 4.11.2