Revert "Merge branch 'master' into 'master'"
This reverts merge request !87 (merged) (We'll deal with this in develop for now.)
A replacement for the old instance build runner (old tags dind/docker-in-docker) is available. For details see https://git.geomar.de/open-source/gitlab-docu/-/wikis/build_runner
This reverts merge request !87 (merged) (We'll deal with this in develop for now.)