Topic: "container-ci"
rocq-community/docker-coq-action
GitHub Action using Docker-Coq [maintainers=@erikmd,@Zimmi48]
Language: Shell - Size: 275 KB - Last synced at: 18 days ago - Pushed at: about 1 month ago - Stars: 12 - 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: about 2 years ago - Stars: 1 - Forks: 1
