> 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
> - 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
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.