[Dune-devel] [CI] Failed to pull Docker images

[Christoph Grüninger]

Hi!

lately all my build pipelines fail due to failing docker image pulls, e.g.:

> Using Docker executor with image registry.dune-project.org/docker/ci/debian:10 ...
> Authenticating with credentials from job payload (GitLab Registry)
> Pulling docker image registry.dune-project.org/docker/ci/debian:10 ...
> WARNING: Failed to pull image with policy "always": Error response from daemon: manifest for registry.dune-project.org/docker/ci/debian:10 not found: manifest unknown: manifest unknown (manager.go:205:0s)
> ERROR: Job failed (system failure): failed to pull image "registry.dune-project.org/docker/ci/debian:10" with specified policies [always]: Error response from daemon: manifest for registry.dune-project.org/docker/ci/debian:10 not found: manifest unknown: manifest unknown (manager.go:205:0s)

Could anyone with knowledge of our CI might have a look?

Thanks in advance,
Christoph

-- 
Als wär es nix, leb' ich von [IT] und mach' nur, was ich lieb'
Lebe wie im Paradies, womit hab' ich das verdient?
Die Wahrheit ist: Hab' ich nicht, ich bin nur reicher beschenkt
Als jemand in einem armen Land mit dem gleichen Talent
[frei nach Tua von Die Orsons - Oioioiropa]