From 334f4a8d1f26214aa2b892d222c981dd7da4c9ee Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Fri, 24 Jan 2025 09:43:11 -0800 Subject: [PATCH] [github] use ocaml 5 and ocaml/setup-ocaml@v3 Summary: github CI is borked, maybe this will unbork? Reviewed By: ngorogiannis Differential Revision: D68563899 Privacy Context Container: L1208441 fbshipit-source-id: 065a47ce41805145bf3b221481035990a1d35271 --- .github/workflows/install.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/install.yml b/.github/workflows/install.yml index a7c75bb4d3b..1f5267989a3 100644 --- a/.github/workflows/install.yml +++ b/.github/workflows/install.yml @@ -57,7 +57,7 @@ jobs: - macOS-13 - ubuntu-latest ocaml-compiler: - - ocaml-variants.4.14.0+options,ocaml-option-flambda + - ocaml-variants.5.2.1+options,ocaml-option-flambda runs-on: ${{ matrix.os }} steps: @@ -93,7 +93,7 @@ jobs: run: cp opam/infer-tests.opam.locked opam/infer.opam.locked - name: Use OCaml ${{ matrix.ocaml-compiler }} - uses: ocaml/setup-ocaml@v2 + uses: ocaml/setup-ocaml@v3 with: ocaml-compiler: ${{ matrix.ocaml-compiler }}