Upgrade CI ocaml to 4.13 (4.11 no longer supported)

coq-tactician · Jun 22, 2022 · a03d1fb · a03d1fb
1 parent ffcd556
commit a03d1fb
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.13'
-          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