[isabelle-dev] Server outage at TUM

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

Cheers
Lars



More information about the isabelle-dev mailing list