From 4eab878e1e38517f6b488a39c54ce2508f758629 Mon Sep 17 00:00:00 2001 From: Christoph Knittel Date: Wed, 6 Dec 2023 17:56:15 +0100 Subject: [PATCH] Downgrade setup-ocaml to 2.1.7 --- .github/workflows/ci.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index d699fbc79f..80fff87c15 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -142,7 +142,7 @@ jobs: chmod +x _build/install/default/bin/* - name: Use OCaml ${{matrix.ocaml_compiler}} - uses: ocaml/setup-ocaml@v2 + uses: ocaml/setup-ocaml@v2.1.7 if: matrix.os != 'windows-latest' with: ocaml-compiler: ${{matrix.ocaml_compiler}} @@ -150,7 +150,7 @@ jobs: opam-depext: false - name: Use OCaml ${{matrix.ocaml_compiler}} (Win) - uses: ocaml/setup-ocaml@v2 + uses: ocaml/setup-ocaml@v2.1.7 if: matrix.os == 'windows-latest' with: ocaml-compiler: ${{matrix.ocaml_compiler}}