Skip to content

docker-coq-action v1.5.2

Latest
Marketplace
Latest
Marketplace

Choose a tag to compare

View all tags
@erikmd erikmd released this 23 Mar 18:02
v1.5.2
This tag was signed with the committer’s verified signature.
erikmd Erik Martin-Dorel
GPG key ID: 9ED87DA01733593F
Verified
Learn about vigilant mode.
126d4ac
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

What's Changed

  • docs(README.md): replace last occ of coq:coq with 1000:1000 by @erikmd in df2b127
  • fix(CI): Use mathcomp/mathcomp-dev:rocq-prover-dev by @erikmd in #102
  • fix: Understand coq_version: 'latest' as rocq/rocq-prover:latest by @erikmd in #103

Full Changelog: v1.5.1...v1.5.2
Refman: v1.5.2

Contributors

erikmd
Assets 2
Loading