[Dune-devel] SSL certificate issue with CI

[Christoph Grüninger]

Dear Dune,
I am facing a SSL certificate issue with our CI. This might be related to the recent move to Dresden (thank you for that!).
Example: https://gitlab.dune-project.org/staging/dune-functions/-/pipelines/63220

Bye
Christoph
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.dune-project.org/pipermail/dune-devel/attachments/20230715/29f22b88/attachment.htm>