GitHub Action using Docker-Coq [maintainers=@Justme0606,@Zimmi48]
-
Updated
Apr 30, 2026 - Shell
#
container-ci
Here are 4 public repositories matching this topic...
This GitHub action utilizes MIE's open source cluster to manage LXC containers derived from your GitHub repository source code.
-
Updated
Aug 20, 2025
Build and Push action based on podman for Google Container Registry
-
Updated
Mar 23, 2023
GitHub Action for Zero-Trust security that cryptographically binds YAML policies and GitOps hashes to Docker images using Sigstore Cosign for verifiable supply chain integrity
-
Updated
Feb 25, 2026
Container CI apps
webapp.io
Full-stack review environments and end-to-end tests embedded into every pull request
Google Cloud Build
Build, test, & deploy in a fast, consistent, and secure manner
Improve this page
Add a description, image, and links to the container-ci topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the container-ci topic, visit your repo's landing page and select "manage topics."