Some images do not get pushed correctly to the registry
It seems that some CI images do never get updated in the registry, although they are built in the weekly from scratch build. If you go to the registry page https://gitlab.dune-project.org/docker/ci/container_registry and look at the dune-pdelab images and when they were last pushed, you see that some or recent and some very old, where all of them should be recent. @smuething ?