Jenkins inside a Docker container with extra tooling