From f7322d8649a728e26e350afa2aef3b3d70760bfa Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Mon, 29 Jul 2024 18:27:40 -0700 Subject: [PATCH] [CI] [Windows] Bump to OCaml 4.13.1 In preparation for setup-ocaml@v3 --- .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 2ba8c8003d..e1da3e6b18 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@v2 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