Skip to content

docker-coq-action v1.1.0

Marketplace
Marketplace
Compare
Choose a tag to compare
@erikmd erikmd released this 21 Sep 19:23
· 90 commits to master since this release
v1.1.0
This tag was signed with the committer’s verified signature. The key has expired.
erikmd Erik Martin-Dorel
GPG key ID: 9ED87DA01733593F
Expired
Learn about vigilant mode.
1747b70
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

New features:

  • List installed packages before build (PR #24 by @liyishuai)
  • Make opam_file optional (PR #27 by @erikmd)
    → if omitted, it defaults to ".", installing all ./*.opam packages from this directory.

Details: v1.0.1...v1.1.0

Assets 2
Loading