change boilerplate for 8.19 and beyond

.github/workflows/docker-action.yml

@@ -18,16 +18,19 @@ jobs:
  matrix:
  image:
  - 'coqorg/coq:dev'
+ - 'coqorg/coq:8.19'
+ - 'coqorg/coq:8.18'
+ - 'coqorg/coq:8.17'
  - 'coqorg/coq:8.16'
- - 'coqorg/coq:8.15'
  fail-fast: false
  steps:
- - uses: actions/checkout@v2
+ - uses: actions/checkout@v3
  - uses: coq-community/docker-coq-action@v1
  with:
  opam_file: 'coq-coq-art.opam'
  custom_image: ${{ matrix.image }}
 
+
 # See also:
 # https://github.com/coq-community/docker-coq-action#readme
 # https://github.com/erikmd/docker-coq-github-action-demo

README.md

@@ -10,8 +10,8 @@ Follow the instructions on https://github.com/coq-community/templates to regener
 [![Zulip][zulip-shield]][zulip-link]
 [![DOI][doi-shield]][doi-link]
 
-[docker-action-shield]: https://github.com/coq-community/coq-art/workflows/Docker%20CI/badge.svg?branch=master
-[docker-action-link]: https://github.com/coq-community/coq-art/actions?query=workflow:"Docker%20CI"
+[docker-action-shield]: https://github.com/coq-community/coq-art/actions/workflows/docker-action.yml/badge.svg?branch=master
+[docker-action-link]: https://github.com/coq-community/coq-art/actions/workflows/docker-action.yml
 
 [contributing-shield]: https://img.shields.io/badge/contributions-welcome-%23f7931e.svg
 [contributing-link]: https://github.com/coq-community/manifesto/blob/master/CONTRIBUTING.md
@@ -40,7 +40,7 @@ out of over 200 exercises from the book.
  - Yves Bertot ([**@ybertot**](https://github.com/ybertot))
  - Pierre Castéran ([**@Casteran**](https://github.com/Casteran))
 - License: [MIT License](LICENSE)
-- Compatible Coq versions: 8.15 or later (use the corresponding release for other Coq versions)
+- Compatible Coq versions: 8.16 or later (use the corresponding release for other Coq versions)
 - Additional dependencies: none
 - Coq namespace: `coqart`
 - Related publication(s):

coq-coq-art.opam

@@ -20,7 +20,7 @@ out of over 200 exercises from the book."""
 build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
- "coq" {(>= "8.15" & < "8.18~") | (= "dev")}
+ "coq" {(>= "8.16" & < "8.20") | (= "dev")}
 ]
 
 tags: [

meta.yml

@@ -40,13 +40,15 @@ license:
  identifier: MIT
 
 supported_coq_versions:
- text: 8.15 or later (use the corresponding release for other Coq versions)
- opam: '{(>= "8.15" & < "8.18~") | (= "dev")}'
+ text: 8.16 or later (use the corresponding release for other Coq versions)
+ opam: '{(>= "8.16" & < "8.20") | (= "dev")}'
 
 tested_coq_opam_versions:
 - version: dev
+- version: '8.19'
+- version: '8.18'
+- version: '8.17'
 - version: '8.16'
-- version: '8.15'
 
 namespace: coqart