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.

isabelle-dev mailing list

Reply via email to