"Yet another CI" - Execute Github pushes in Docker containers
For more information on the package registry, see the documentation.