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 <[email protected] > <mailto:[email protected]>> wrote: > > https://ci.eclipse.org/ > > > > > _______________________________________________ > cross-project-issues-dev mailing list > [email protected] > To change your delivery options, retrieve your password, or unsubscribe from > this list, visit > https://dev.eclipse.org/mailman/listinfo/cross-project-issues-dev > _______________________________________________ cross-project-issues-dev mailing list [email protected] To change your delivery options, retrieve your password, or unsubscribe from this list, visit https://dev.eclipse.org/mailman/listinfo/cross-project-issues-dev
