Gradio GitHub Runner
Automates building Docker images from remote GitHub repositories and publishes them to either the GitHub Container Registry (GHCR) or Docker Hub.
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.