Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Brief maintenance period

view this post on Zulip Email Gateway (Aug 22 2022 at 15:00):

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

there will be some necessary reboots on all services later today
(Jenkins, build nodes, AFP submission system). This won't take long.

Cheers
Lars

Last updated: Apr 20 2024 at 12:26 UTC