Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Service outage at TUM


view this post on Zulip 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:

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

Cheers
Lars


Last updated: Mar 29 2024 at 04:18 UTC