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
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
