Re: [isabelle-dev] lxisabelle/lxcisa* maintenance
> Jenkins is back online. For technical reasons, lxcisa0 will only become > available again tomorrow. All services operational again. ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] lxisabelle/lxcisa* maintenance
> - Jenkins > - (shell access to) lxcisa0 Jenkins is back online. For technical reasons, lxcisa0 will only become available again tomorrow. Cheers Lars ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] lxisabelle/lxcisa* maintenance
On 09/02/18 18:05, Lars Hupel wrote: > > on Sunday, I will have to perform necessary maintenance. The following > services may be interrupted and/or unavailable: > > - (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. Thanks for taking care of this important machine. Without it, Isabelle + AFP maintenance would be very difficult. Is it possible to install emacs on it? Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
[isabelle-dev] lxisabelle/lxcisa* maintenance
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. Cheers Lars ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev