graeser commented on merge request !41 at agnumpde / dune-tnnmg

graeser
2025-03-27T21:03:38Z

As far as I can see the respective images are simply outdated in the registry. Both failing jobs use registry.dune-project.org/docker/ci/dune:git-debian-11-clang-13-20-libcxx which is 5 months old (cf. https://gitlab.dune-project.org/docker/ci/container_registry/46?after=MzA). If there is no new image, the runner can't pull one.

Maybe Simon looked for the wrong image, because the job names are misleading (missing the -libcxx).