Pipelines fail in dune-pdelab build
In the CI the master job currently fails with and error in the dune-pdelab:git build:
Error: error pulling image "registry.gitlab.com/smuething/gitlab-runner-podman-executor/gitlab-runner-helper:12.6.0-beta.2056.g63b1164a": unable to pull registry.gitlab.com/smuething/gitlab-runner-podman-executor/gitlab-runner-helper:12.6.0-beta.2056.g63b1164a: unable to pull image: Error initializing source docker://registry.gitlab.com/smuething/gitlab-runner-podman-executor/gitlab-runner-helper:12.6.0-beta.2056.g63b1164a: unexpected http code: 503 (Service Unavailable), URL: https://gitlab.com/jwt/auth?scope=repository%3Asmuething%2Fgitlab-runner-podman-executor%2Fgitlab-runner-helper%3Apull&service=container_registry
Error setting up job environment, aborting
ERROR: Preparation failed: unknown Custom executor executable exit code 125; executable execution terminated with: exit status 125