GitHub topics: container-ci
rocq-community/docker-coq-action
GitHub Action using Docker-Coq [maintainers=@erikmd,@Zimmi48]
Language: Shell - Size: 275 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 13 - Forks: 4
webgtx/gcr-podman-action
Build and Push action based on podman for Google Container Registry
Size: 15.6 KB - Last synced at: 23 days ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 1
