Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
github actions "container-ci" keyword
webgtx/gcr-podman-action v2.1
Build and Push action for Google Container Registry13 versions - Latest release: about 1 year ago - 1 stars on GitHub
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