Fork 0

No description

Makefile 51.2%
Rocq Prover 48.8%

Find a file

Tej Chajed 3ffa6e83a3 Use opam to compile		2020-05-27 14:34:28 -05:00
.github/workflows	Use opam to compile	2020-05-27 14:34:28 -05:00
src	Try a different warning	2020-05-27 14:01:50 -05:00
.gitignore	Add the simplest Makefile	2020-05-27 11:58:35 -05:00
_CoqProject	Initial commit	2020-05-27 10:28:44 -05:00
coq-demo.opam	Use opam to compile	2020-05-27 14:34:28 -05:00
LICENSE	Initial commit	2020-05-27 10:28:44 -05:00
Makefile	Try using a warning	2020-05-27 14:00:48 -05:00
README.md	Fix URL in actual badge	2020-05-27 11:38:14 -05:00

README.md

docker-coq-github-action-demo

Demo of:

docker-coq-action,
docker-coq
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/tchajed/coq-github-ci-test/workflows/CI/badge.svg?branch=master)](https://github.com/tchajed/coq-github-ci-test/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.