Skip to content

docker-coq-action v1.3.1

Marketplace
Marketplace
Compare
Choose a tag to compare
@erikmd erikmd released this 20 Jun 18:17
· 17 commits to master since this release
v1.3.1
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.
5263c9e
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.

Bugfix & Documentation:

Warning:

  • Deprecate ocaml_version: "minimal" [raise a GitHub Actions warning; to be removed on 2022-06-27 AOE] (PR #39 by @erikmd)

Contributors

erikmd
Assets 2
Loading