Skip to content

docker-coq-action v1.4.0

Marketplace
Marketplace
Compare
Choose a tag to compare
@erikmd erikmd released this 28 Jun 14:51
· 16 commits to master since this release
v1.4.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.
ee8f327
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.

Feature:

  • Replace support of ocaml_version: "minimal" with that of ocaml_version: "default" (PR #75 by @erikmd)

Changelog: v1.3.1...v1.4.0 − Refman: v1.4.0

Contributors

erikmd
Assets 2
Loading