Re: [isabelle-dev] LRZ outage
> 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
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
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