[isabelle-dev] lxisabelle/lxcisa* maintenance

Lars Hupel hupel at in.tum.de
Fri Feb 9 18:05:11 CET 2018

Dear users of lxisabelle/lxcisa*,

on Sunday, I will have to perform necessary maintenance. The following 
services may be interrupted and/or unavailable:

- Jenkins
- (shell access to) lxcisa0

In particular, I recommend to not start any new jobs on lxcisa0, as I 
might have to stop them. Please try to finish existing jobs by Sunday 
10am CET. Jenkins jobs will be disabled already on Saturday evening.

Regular operation continues on Monday.


More information about the isabelle-dev mailing list