docker-coq-action-multi-opam-demo

Demo of:

• docker-coq-action,
• docker-coq,
• via a CI workflow defined in build.yml,
• relying on two package specifications:
  • coq-libdemo.opam,
  • coq-demo.opam.

Note: this layout focuses on a specific use case (a "quasi-monorepo" with multiple opam files to build successively).

For the official demo, see erikmd/docker-coq-github-action-demo.