From 93e543574cd4022b640891d4ab3072ba34351c51 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sat, 13 Jul 2024 11:00:14 -0700 Subject: [PATCH] setup-ocaml only supports 4.13 and up on Windows --- .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 af603010f9e..18fbf420c56 100644 --- a/.github/workflows/coq-windows.yml +++ b/.github/workflows/coq-windows.yml @@ -43,7 +43,7 @@ jobs: - name: Set up OCaml uses: ocaml/setup-ocaml@v3 with: - ocaml-compiler: 4.11.1 + ocaml-compiler: 4.13.1 opam-repositories: | opam-repository-mingw: https://github.com/ocaml-opam/opam-repository-mingw.git#sunset default: https://github.com/ocaml/opam-repository.git