The URI of TUHH Docker Registry changed from "docker.rz.tu-harburg.de:5000" to "docker.rz.tu-harburg.de". Please update your gitlab-ci.yml files if you use images from this registry.

Fix target names

An oversight from renaming
parent 09a15187
Pipeline #92815 passed with stages
in 6 minutes and 41 seconds