Merge pull request #22 from coq-community/port-8.14

Port to 8.14
coq-community · Oct 30, 2021 · 005800a · 005800a
2 parents f703a0d + f397355
commit 005800a
Show file tree

Hide file tree

Showing 47 changed files with 421 additions and 509 deletions.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -17,6 +17,7 @@ jobs:
     strategy:
       matrix:
         image:
+          - 'coqorg/coq:8.14'
           - 'coqorg/coq:8.13'
           - 'coqorg/coq:8.12'
       fail-fast: false

diff --git a/README.md b/README.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.10 or later (use the corresponding release for other Coq versions)
+- Compatible Coq versions: 8.12 or later (use the corresponding release for other Coq versions)
 - Additional dependencies: none
 - Coq namespace: `coqart`
 - Related publication(s):