8.15 Docker CI

coq-community · Jan 12, 2022 · f21a2e5 · f21a2e5
1 parent 460c6e5
commit f21a2e5
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'
  - 'coqorg/coq:8.13'
  - 'coqorg/coq:8.12'

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
@@ -47,10 +47,10 @@ supported_coq_versions:
 
 tested_coq_nix_versions:
 - coq_version: 'master'
-- coq_version: 'v8.15'
 
 tested_coq_opam_versions:
 - version: dev
+- version: '8.15'
 - version: '8.14'
 - version: '8.13'
 - version: '8.12'