CI: specify OCaml version

coq-community · Jan 16, 2024 · e8de6b5 · e8de6b5
1 parent ae53194
commit e8de6b5
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -19,7 +19,7 @@ jobs:
         image:
           - 'coqorg/coq:8.9'
           - 'coqorg/coq:8.11'
-          - 'coqorg/coq:8.12'
+          - 'coqorg/coq:8.12-ocaml-4.11-flambda'
           - 'coqorg/coq:8.13'
           - 'coqorg/coq:8.14'
           - 'coqorg/coq:8.15'

diff --git a/meta.yml b/meta.yml
@@ -35,7 +35,7 @@ supported_coq_versions:
 tested_coq_opam_versions:
   - version: '8.9'
   - version: '8.11'
-  - version: '8.12'
+  - version: '8.12-ocaml-4.11-flambda'
   - version: '8.13'
   - version: '8.14'
   - version: '8.15'