[Dune-devel] Trouble with the CI system

[Steffen Müthing]

Hi Oliver,

> Am 15.08.2018 um 11:25 schrieb Oliver Sander <oliver.sander at tu-dresden.de>:
> 
> Signierter PGP-Teil
> 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?

that’s really weird, it only happens on this particular MR. I’ve looked into the server logs,
but nothing really stands out to me. Can you maybe try pushing another change to the
branch, maybe that will sort it out?

Steffen

> 
> Thanks,
> Oliver
> 
> 
> 
> 

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