Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Service outage at TUM

Email Gateway (Aug 22 2022 at 15:48):

From: Lars Hupel <hupel@in.tum.de>
Dear Isabelle users,

not everyone will see this message in time, but I'll try anyway – there
seems to be a partial network outage at TUM. This appears to affect:

• mail services, including [isabelle-dev]
• Jenkins
• AFP website

Pushes to the repositories should be unaffected. I don't know when this
will be resolved.

Cheers
Lars

Last updated: Feb 01 2025 at 20:19 UTC