Re: [cross-project-issues-dev] Many build servers are down

[Frederic Gurr <frederic.gurr@xxxxxxxxxxxxxxxxxxxxxx>]

We have restarted the host machine. The Jenkins services still refuse to
start, but we are working on it.


On 02.03.2018 11:30, Wim Jongman wrote:
> Well, hipp10 anyway.
> 
> On Fri, Mar 2, 2018 at 11:26 AM, Wim Jongman <wim.jongman@xxxxxxxxx
> <mailto:wim.jongman@xxxxxxxxx>> wrote:
> 
>     https://ci.eclipse.org/
> 
> 
> 
> 
> _______________________________________________
> cross-project-issues-dev mailing list
> cross-project-issues-dev@xxxxxxxxxxx
> To change your delivery options, retrieve your password, or unsubscribe from this list, visit
> https://dev.eclipse.org/mailman/listinfo/cross-project-issues-dev
>