Demo of:
- docker-coq-action,
- docker-coq and docker-mathcomp images,
- via a CI workflow defined in build-coq-demo.yml,
- relying on a coq-demo.opam package specification.
Note: you can add a badge in your README.md, like that of this demo:
[](https://github.com/$USER/$REPO/actions?query=workflow:"Docker%20CI")
after replacing $USER/$REPO to use your project namespace; note also
that "Docker CI" is the workflow name, defined at the beginning of
this file.