Bump windows version of ocaml in prep for moving to v3

mit-plv · Aug 5, 2024 · 8475c26 · 8475c26
1 parent 73d4925
commit 8475c26
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/coq-opam-package.yml b/.github/workflows/coq-opam-package.yml
@@ -31,7 +31,7 @@ jobs:
               opam-jobs-flag: ''},
              {name: 'Windows',
               runs-on: 'windows-latest',
-              ocaml-compiler: '4.11.1',
+              ocaml-compiler: '4.13.1',
               coq-extra-flags: '-async-proofs-j 1',
               extra-ocaml-repositories: 'opam-repository-mingw: https://github.com/ocaml-opam/opam-repository-mingw.git#sunset',
               opam-jobs-flag: '-j 1'}]