8.15 Docker CI

coq-community · Jan 12, 2022 · 24c5670 · 24c5670
1 parent 8ab631a
commit 24c5670
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -18,6 +18,7 @@ jobs:
       matrix:
         image:
           - 'coqorg/coq:dev'
+          - 'coqorg/coq:8.15'
           - 'coqorg/coq:8.14'
       fail-fast: false
     steps:

diff --git a/.github/workflows/nix-action.yml b/.github/workflows/nix-action.yml
@@ -18,7 +18,6 @@ jobs:
       matrix:
         overrides:
           - 'coq = "master"'
-          - 'coq = "v8.15"'
       fail-fast: false
     steps:
       - name: Determine which commit to test

diff --git a/meta.yml b/meta.yml
@@ -39,11 +39,11 @@ supported_coq_versions:
 
 tested_coq_opam_versions:
 - version: dev
+- version: '8.15'
 - version: '8.14'
 
 tested_coq_nix_versions:
 - coq_version: 'master'
-- coq_version: 'v8.15'
 
 namespace: QArithSternBrocot