From e2c566671e5d7fddbcac013774275d7d673b8ef8 Mon Sep 17 00:00:00 2001 From: Christoph Knittel Date: Sun, 5 Mar 2023 09:56:16 +0100 Subject: [PATCH] Downgrade setup-ocaml to fix Windows CI issue --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index b51cd318e1..a8e34e80ad 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -86,7 +86,7 @@ jobs: chmod +x _build/install/default/bin/* - name: Use OCaml ${{matrix.ocaml_compiler}} - uses: ocaml/setup-ocaml@v2 + uses: ocaml/setup-ocaml@v2.0.10 with: ocaml-compiler: ${{matrix.ocaml_compiler}} opam-pin: false