Stream: Mirror: Isabelle Development Mailing List

Topic: Servers offline

view this post on Zulip Email Gateway (Nov 25 2025 at 09:24):

From: Fabian Huch <huch@in.tum.de>

Unfortunately, our build servers are currently offline as they didn't
reboot properly.

Fabian

view this post on Zulip Email Gateway (Nov 25 2025 at 09:46):

From: Fabian Huch <huch@in.tum.de>

We are back online.

Fabian

On 11/25/25 10:16, Fabian Huch wrote:

Unfortunately, our build servers are currently offline as they didn't
reboot properly.

Fabian

Last updated: Dec 10 2025 at 12:50 UTC