Data

Tools

Indexes

Applications

Experiments

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 Registry
13 versions - Latest release: almost 3 years ago - 1 stars on GitHub
Top 6.2% on github actions
coq-community/docker-coq-action v1.5.1
GitHub Action using Docker-Coq
15 versions - Latest release: about 1 year ago - 147 dependent repositories - 12 stars on GitHub
Related Keywords
continuous-integration 2 gcp-container-builder 1 podman 1 action 1 coq 1 docker-coq 1 docker-coq-action 1 github-actions 1 opam 1