Email Gateway (Aug 22 2022 at 14:32): Email Gateway (Aug 22 2022 at 14:32):From: Lars Hupel <hupel@in.tum.de>
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:
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.
Cheers
Lars
Email Gateway (Aug 22 2022 at 14:37):From: Lars Hupel <hupel@in.tum.de>
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
Last updated: Apr 25 2024 at 16:19 UTC