Merge pull request #17 from coq-community/fix-warnings-8.13

Fix 8.13 warnings

.github/workflows/coq-ci.yml

@@ -1,4 +1,6 @@
-name: CI
+# This file was generated from `meta.yml`, please do not edit manually.
+# Follow the instructions on https://github.com/coq-community/templates to regenerate.
+name: Docker CI
 
 on:
   push:
@@ -15,9 +17,8 @@ jobs:
     strategy:
       matrix:
         image:
+          - 'coqorg/coq:8.13'
           - 'coqorg/coq:8.12'
-          - 'coqorg/coq:8.11'
-          - 'coqorg/coq:8.10'
       fail-fast: false
     steps:
       - uses: actions/checkout@v2

README.md

@@ -1,13 +1,17 @@
+<!---
+This file was generated from `meta.yml`, please do not edit manually.
+Follow the instructions on https://github.com/coq-community/templates to regenerate.
+--->
 # Coq'Art
 
-[![CI][action-shield]][action-link]
+[![Docker CI][docker-action-shield]][docker-action-link]
 [![Contributing][contributing-shield]][contributing-link]
 [![Code of Conduct][conduct-shield]][conduct-link]
 [![Zulip][zulip-shield]][zulip-link]
 [![DOI][doi-shield]][doi-link]
 
-[action-shield]: https://github.com/coq-community/coq-art/workflows/CI/badge.svg?branch=master
-[action-link]: https://github.com/coq-community/coq-art/actions?query=workflow%3ACI
+[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"
 
 [contributing-shield]: https://img.shields.io/badge/contributions-welcome-%23f7931e.svg
 [contributing-link]: https://github.com/coq-community/manifesto/blob/master/CONTRIBUTING.md
@@ -86,4 +90,4 @@ The repository is structured as follows.
 
 [book-url]: http://www.labri.fr/perso/casteran/CoqArt/
 [publisher-url]: https://www.springer.com/gp/book/9783540208549
-[community-url]: https://coq-community.org/coq-art/
+[community-url]: https://coq-community.org/coq-art/