CI for Coq 8.12

Author: liyishuai

.circleci/config.yml

@@ -6,7 +6,7 @@ jobs:
       coq:
         type: string
     docker:
-    - image: coqorg/coq:<<parameters.coq>>
+    - image: <<parameters.coq>>
     resource_class: medium
     environment:
       OPAMJOBS: 2
@@ -17,7 +17,7 @@ jobs:
     - checkout
     - run:
         name: Pull submodules
-        command: git submodule update --init
+        command: git submodule update --init --recursive
     - run:
         name: Configure environment
         command: echo . ~/.profile >> $BASH_ENV
@@ -58,16 +58,19 @@ workflows:
     jobs:
     - build:
         name: "Coq 8.8"
-        coq: "8.8"
+        coq: "coqorg/coq:8.8"
     - build:
         name: "Coq 8.9"
-        coq: "8.9"
+        coq: "coqorg/coq:8.9"
     - build:
         name: "Coq 8.10"
-        coq: "8.10"
+        coq: "coqorg/coq:8.10"
     - build:
         name: "Coq 8.11"
-        coq: "8.11"
+        coq: "coqorg/coq:8.11"
+    - build:
+        name: "Coq 8.12"
+        coq: "coqorg/coq:8.12"
     - build:
         name: "Coq dev"
-        coq: "dev"
+        coq: "coqorg/coq:dev"

meta.yml

@@ -6,6 +6,8 @@ organization: coq-community
 community: true
 circleci: true
 ci_test_dependants: true
+ci_extra_dev: true
+submodule: true
 
 synopsis: A library of Coq definitions, theorems, and tactics
 description: A collection of theories and plugins that may be useful in other Coq developments.
@@ -35,6 +37,7 @@ tested_coq_opam_versions:
   - version: '8.9'
   - version: '8.10'
   - version: '8.11'
+  - version: '8.12'
   - version: 'dev'
 
 make_target: theories