[Dune-devel] Trouble with the CI system

[Oliver Sander]

Dear Dune CI experts,

while working on

  https://gitlab.dune-project.org/core/dune-grid/merge_requests/144

I started getting the message

  "Could not connect to the CI server. Please check your settings and try again"

on that page, right where the CI information usually is.

Is there anything that can be done about this?

Thanks,
Oliver


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 488 bytes
Desc: OpenPGP digital signature
URL: <https://lists.dune-project.org/pipermail/dune-devel/attachments/20180815/6a653e35/attachment.sig>