[Dune-devel] GitLab Registry Relocation

[Oliver Sander]

Hi Santiago, hi Ansgar, hi all,

I just clicked on the link

   https://registry.dune-project.org/docker/ci/ubuntu:20.04

on the page

   https://dune-project.org/doc/installation/installation-buildsrc/

and got an "nginx error".

Is that fallout from the registry relocation?  What is the new link?

Thanks,
Oliver
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5813 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://lists.dune-project.org/pipermail/dune-devel/attachments/20221130/f75de037/attachment.bin>