Merge branch 'coq8.13' into coq8.14

coq-tactician · Jun 22, 2022 · 5d96954 · 5d96954
2 parents a6ea152 + a03d1fb
commit 5d96954
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -12,7 +12,7 @@ jobs:
         with:
           opam_file: 'coq-tactician-stdlib.opam'
           coq_version: '8.14'
-          ocaml_version: '4.11-flambda'
+          ocaml_version: '4.13-flambda'
           install: |
             startGroup "Install dependencies"
               opam repo add coq-extra-dev https://coq.inria.fr/opam/extra-dev