From 2bd06538f4b07be965df87635266376d052f8c13 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Mon, 22 Apr 2024 14:12:35 -0700 Subject: [PATCH] Update coq-opam-package.yml The versions of Coq we support require OCaml >= 4.09.2 --- .github/workflows/coq-opam-package.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/coq-opam-package.yml b/.github/workflows/coq-opam-package.yml index b8ee3e15b5..9cd93735e4 100644 --- a/.github/workflows/coq-opam-package.yml +++ b/.github/workflows/coq-opam-package.yml @@ -19,7 +19,7 @@ jobs: coq-version: ['dev', '8.19.0', '8.18.0'] os: [{name: 'Ubuntu', runs-on: 'ubuntu-latest', - ocaml-compiler: '4.08.1', + ocaml-compiler: '4.09.1', coq-extra-flags: '', extra-ocaml-repositories: '', opam-jobs-flag: ''},