On 2017-12-13 02:14, Seb wrote:
Also the storage on the machine is limited and we can't drop an unlimited amount of Docker images there.
There could be a job that cleans up the local Docker images. If a Docker image is needed it will be pulled down again automatically. Of course there can be a few common images that are never cleaned up to reduce the waiting time for pulling down an image.
-- /Jacob Carlborg