Update coq-opam-package.yml

The versions of Coq we support require OCaml >= 4.09.2
mit-plv · Apr 22, 2024 · 2bd0653 · 2bd0653
1 parent 15526a5
commit 2bd0653
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
@@ -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: ''},