[isabelle-dev] Server outage at TUM
hupel at in.tum.de
Tue Apr 2 14:17:44 CEST 2019
Dear Isabelle developers,
I've just been informed that some of our servers have to be physically
transferred to a different location. Consequently, they will be offline
for a (hopefully) brief amount of time.
This affects the following services:
* isabelle-all builds (build on push for Isabelle & AFP repositories)
* all testboard builds
* all applications on lxcisa0
In order to avoid build jobs piling up, I will shut down Jenkins too.
However, the AFP submission system should remain unaffected.
More information about the isabelle-dev