[isabelle-dev] LRZ cloud outage

Manuel Eberl eberlm at in.tum.de
Tue May 26 15:37:07 CEST 2020

Previous message (by thread): [isabelle-dev] Isabelle Workshop
Next message (by thread): [isabelle-dev] smt in the repository
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

I was instructed to inform this list that the LRZ cloud will be down
until Friday (presumably).

This affects the isabelle-nightly-slow job.

Manuel

Previous message (by thread): [isabelle-dev] Isabelle Workshop
Next message (by thread): [isabelle-dev] smt in the repository
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list