CI for Coq 8.15

coq-community · Jan 18, 2022 · ea8a862 · ea8a862
1 parent ca0795c
commit ea8a862
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -27,7 +27,6 @@ jobs:
     - run:
         name: Install dependencies
         command: |
-          opam repo -a --set-default add coq-extra-dev https://coq.inria.fr/opam/extra-dev
           opam update
           opam install --deps-only .
     - run:
@@ -82,6 +81,9 @@ workflows:
     - 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"
diff --git a/meta.yml b/meta.yml
@@ -6,7 +6,6 @@ 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
@@ -40,6 +39,7 @@ tested_coq_opam_versions:
   - version: '8.12-ocaml-4.11-flambda'
   - version: '8.13-ocaml-4.11-flambda'
   - version: '8.14-ocaml-4.12-flambda'
+  - version: '8.15-ocaml-4.12-flambda'
   - version: 'dev-ocaml-4.11-flambda'
 
 make_target: theories