Gradio GitHub Runner
Automates building Docker images from remote GitHub repositories and publishes them to either the GitHub Container Registry (GHCR) or Docker Hub.
About
This tool addresses common frustrations with GitHub's default CI/CD runners, which often lack the memory needed for complex Docker image builds. It provides a flexible solution for building Docker images from public GitHub repositories and pushing them to GHCR or Docker Hub. Leveraging Gradio, it offers multiple interaction methods: a user-friendly web UI, programmatic access via codebases or GitHub workflows, and integration as an MCP server for AI agents and IDEs. It's particularly well-suited for deployment on Hugging Face Spaces, where it can scale to zero when not in use, optimizing resource consumption.
Key Features
- Push images to GitHub Container Registry (GHCR) or Docker Hub
- Deployable on Hugging Face Spaces with automatic scaling to zero
- Acts as an MCP server for LLM/agent integration (e.g., Cursor IDE)
- Accessible via a Gradio web UI or programmatically
- Build Docker images from any public GitHub repository
- 0 GitHub stars
Use Cases
- Integrating with MCP-compatible clients (e.g., Cursor IDE) to initiate builds via natural language or function calls
- Triggering Docker image builds and pushes from a web browser interface
- Automating image builds as part of a codebase or GitHub workflow
