From 7a6115f805866af5b40edc3a1b0fadfd16de5e82 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Tue, 30 Jul 2024 09:51:32 -0700 Subject: [PATCH] revert to setup-ocaml@v2 on Windows v3 doesn't seem to be working yet --- .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 18fbf420c5..e1da3e6b18 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: |