Retire Coq 8.10

coq-community · Jul 1, 2022 · 27022db · 27022db
1 parent 39d315f
commit 27022db
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 30 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -61,29 +61,20 @@ workflows:
   test:
     jobs:
     - build:
-        name: "Coq 8.8"
-        coq: "coqorg/coq:8.8"
+        name: "Coq 8.11"
+        coq: "coqorg/coq:8.11"
     - build:
-        name: "Coq 8.9"
-        coq: "coqorg/coq:8.9"
+        name: "Coq 8.12"
+        coq: "coqorg/coq:8.12"
     - build:
-        name: "Coq 8.10"
-        coq: "coqorg/coq:8.10"
+        name: "Coq 8.13"
+        coq: "coqorg/coq:8.13"
     - build:
-        name: "Coq 8.11-ocaml-4.11-flambda"
-        coq: "coqorg/coq:8.11-ocaml-4.11-flambda"
+        name: "Coq 8.14"
+        coq: "coqorg/coq:8.14"
     - build:
-        name: "Coq 8.12-ocaml-4.11-flambda"
-        coq: "coqorg/coq:8.12-ocaml-4.11-flambda"
+        name: "Coq 8.15"
+        coq: "coqorg/coq:8.15"
     - build:
-        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.12-flambda"
-        coq: "coqorg/coq:dev-ocaml-4.12-flambda"
+        name: "Coq dev"
+        coq: "coqorg/coq:dev"
diff --git a/meta.yml b/meta.yml
@@ -32,15 +32,12 @@ supported_coq_versions:
   opam: '{ >= "8.8" }'
 
 tested_coq_opam_versions:
-  - version: '8.8'
-  - version: '8.9'
-  - version: '8.10'
-  - version: '8.11-ocaml-4.11-flambda'
-  - version: '8.12-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.12-flambda'
+  - version: '8.11'
+  - version: '8.12'
+  - version: '8.13'
+  - version: '8.14'
+  - version: '8.15'
+  - version: 'dev'
 
 make_target: theories
 test_target: examples