Skip to content

CI: use locally hosted Docker images

Björn Brandenburg requested to merge use-local-Docker-registry-for-CI into master

Avoid pulling images from hub.docker.com for every CI build by using MPI-SWS's local image registry instead.

Merge request reports