Re: [isabelle-dev] LRZ outage

[Lars Hupel]

> I will update as soon as service resumes.

All systems operational again.
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

[isabelle-dev] LRZ outage

[Lars Hupel]

Dear developers,

it appears that there is a large-scale LRZ outage. The following 
services are affected:


- AFP submission service
- AFP slow tests

as well as other machines used privately by various people that are 
hosted in the Compute Cloud.


I will update as soon as service resumes.

Cheers
Lars
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

[isabelle-dev] LRZ outage

[Lars Hupel]

Dear users of the LRZ servers,

there appear to be some network and/or capacity problems at LRZ right
now, which is also why the "nightly" job failed just now. I hope this
will be resolved soon.

Cheers
Lars
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev