Releases: coq-community/docker-coq-action
Releases · coq-community/docker-coq-action
docker-coq-action v1.1.0
v1.1.0
This tag was signed with the committer’s verified signature.
The key has expired.
erikmd
Erik Martin-Dorel
New features:
- List installed packages before build (PR #24 by @liyishuai)
- Make
opam_fileoptional (PR #27 by @erikmd)
→ if omitted, it defaults to".", installing all./*.opampackages from this directory.
Details: v1.0.1...v1.1.0
docker-coq-action v1.0.1
v1.0.1
This tag was signed with the committer’s verified signature.
The key has expired.
erikmd
Erik Martin-Dorel
Release fixes.
Details: v1.0.0...v1.0.1
docker-coq-action v1.0.0
v1.0.0
This tag was signed with the committer’s verified signature.
The key has expired.
erikmd
Erik Martin-Dorel
444a746
This commit was signed with the committer’s verified signature.
The key has expired.
erikmd
Erik Martin-Dorel
First release available as coq-community/docker-coq-action@v1.
- Add Coq support for GitHub actions problem matchers.
- Enhance documentation (README).
docker-coq-action v0.1.0
v0.1.0
This tag was signed with the committer’s verified signature.
The key has expired.
erikmd
Erik Martin-Dorel
0c0415a
This commit was signed with the committer’s verified signature.
The key has expired.
erikmd
Erik Martin-Dorel
First release of docker-coq-action on GitHub Marketplace.