Commit 5e4d6371 authored by van den Berg's avatar van den Berg
Browse files

Move all custom docker images to

Docker hub has started to remove unused images from free accounts, which
means that it might remove images used by this pipeline without notice.
Therefore the pipeline now exclusively uses images from or
official repositories from docker hub, which do not have this
parent f69efaa1
Pipeline #5881 failed with stages