[isabelle-dev] AFP submission + Jenkins maintenance

Lars Hupel hupel at in.tum.de
Fri Nov 11 16:44:18 CET 2016


> Everyone who considers submitting an AFP entry, please hold off until at
> least November 12.

We have been informed by the upstream provider about continued service
disruption:

"Unfortunately we encountered more difficulties than expected during the
upgrade of the LRZ Cloud Computing infrastructure, hence we have to
extend the maintenance. Hopefully we will be able to be back in
production on Tue. 15th Nov. 2016."

Cheers
Lars



More information about the isabelle-dev mailing list