Skip to content

docker-coq-action v1.0.0

Marketplace
Marketplace
Compare
Choose a tag to compare
@erikmd erikmd released this 26 Apr 20:44
· 97 commits to master since this release
v1.0.0
This tag was signed with the committer’s verified signature.
erikmd Erik Martin-Dorel
GPG key ID: 9ED87DA01733593F
Learn about vigilant mode.
444a746
This commit was signed with the committer’s verified signature.
erikmd Erik Martin-Dorel
GPG key ID: 9ED87DA01733593F
Learn about vigilant mode.

First release available as coq-community/docker-coq-action@v1.

Assets 2
Loading