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:
[![CI](https://github.com/$USER/$REPO/workflows/CI/badge.svg?branch=master)](https://github.com/$USER/$REPO/actions?query=workflow%3ACI)
after replacing $USER/$REPO
to use your project namespace; note also
that CI is the workflow name, defined at the beginning of this file.