Update Docker tag

Author: liyishuai

.circleci/config.yml

@@ -10,9 +10,9 @@ jobs:
         type: string
     docker:
     - image: <<parameters.coq>>
-    resource_class: medium
+    resource_class: large
     environment:
-      OPAMJOBS: 2
+      OPAMJOBS: 4
       OPAMVERBOSE: 1
       OPAMYES: true
       TERM: xterm
@@ -76,14 +76,14 @@ workflows:
         name: "Coq 8.12-ocaml-4.11-flambda"
         coq: "coqorg/coq:8.12-ocaml-4.11-flambda"
     - build:
-        name: "Coq 8.13-ocaml-4.11-flambda"
-        coq: "coqorg/coq:8.13-ocaml-4.11-flambda"
+        name: "Coq 8.13-ocaml-4.12-flambda"
+        coq: "coqorg/coq:8.13-ocaml-4.12-flambda"
     - build:
         name: "Coq 8.14-ocaml-4.12-flambda"
         coq: "coqorg/coq:8.14-ocaml-4.12-flambda"
     - build:
         name: "Coq 8.15-ocaml-4.12-flambda"
         coq: "coqorg/coq:8.15-ocaml-4.12-flambda"
     - build:
-        name: "Coq dev-ocaml-4.11-flambda"
-        coq: "coqorg/coq:dev-ocaml-4.11-flambda"
+        name: "Coq dev-ocaml-4.12-flambda"
+        coq: "coqorg/coq:dev-ocaml-4.12-flambda"

meta.yml

@@ -37,10 +37,10 @@ tested_coq_opam_versions:
   - version: '8.10'
   - version: '8.11-ocaml-4.11-flambda'
   - version: '8.12-ocaml-4.11-flambda'
-  - version: '8.13-ocaml-4.11-flambda'
+  - version: '8.13-ocaml-4.12-flambda'
   - version: '8.14-ocaml-4.12-flambda'
   - version: '8.15-ocaml-4.12-flambda'
-  - version: 'dev-ocaml-4.11-flambda'
+  - version: 'dev-ocaml-4.12-flambda'
 
 make_target: theories
 test_target: examples