From a5330af7090fd8b7869ab90a06938c0c1e281e80 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Mon, 29 Jul 2024 14:31:41 -0700 Subject: [PATCH] use setup-ocaml@v2 in Windows To work around https://github.com/ocaml/setup-ocaml/issues/833 --- .github/workflows/coq-windows.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/coq-windows.yml b/.github/workflows/coq-windows.yml index 18fbf420c56..e1da3e6b183 100644 --- a/.github/workflows/coq-windows.yml +++ b/.github/workflows/coq-windows.yml @@ -41,7 +41,7 @@ jobs: with: python-version: 3.x - name: Set up OCaml - uses: ocaml/setup-ocaml@v3 + uses: ocaml/setup-ocaml@v2 with: ocaml-compiler: 4.13.1 opam-repositories: |