Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
github actions namespaces: coq-community
Top 6.2% on github actions
13 versions - Latest release: over 1 year ago - 147 dependent repositories - 12 stars on GitHub
coq-community/docker-coq-action v1.4.1
GitHub Action using Docker-Coq13 versions - Latest release: over 1 year ago - 147 dependent repositories - 12 stars on GitHub