[isabelle-dev] AFP submission + Jenkins maintenance
hupel at in.tum.de
Fri Nov 4 16:54:40 CET 2016
Dear Isabelle developers and users,
our provider for some of our VMs has announced a scheduled maintenance,
lasting from November 8 to November 11.
The following parts of our infrastructure will be disrupted:
- AFP submission service
- "nightly slow" builds
Since we're in the release phase anyway, I don't think missing "nightly
slow" builds are a problem.
Everyone who considers submitting an AFP entry, please hold off until at
least November 12.
More information about the isabelle-dev