erikmd / docker-coq-github-action-demo

Demo of a regular Coq project using docker-coq-action as CI setup

docker-coq-github-action-demo

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:

[![Docker CI](https://github.com/$USER/$REPO/workflows/Docker%20CI/badge.svg?branch=master)](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.