Stream: Mirror: Isabelle Development Mailing List

Topic: Build Manager Server Down

Email Gateway (Jan 17 2025 at 09:18):

From: Fabian Huch <huch@in.tum.de>
We have a system outage: two of our servers (for the build manager,
including the master node) did not come back up after a reboot for
kernel updates.

Somehow our workstations are much more reliable than the machines with
server hardware, even though they even have an RMI.

Fabian

Email Gateway (Jan 17 2025 at 11:38):

From: Fabian Huch <huch@in.tum.de>
The system is back.

Fabian

On 1/17/25 10:12, Fabian Huch wrote:

We have a system outage: two of our servers (for the build manager,
including the master node) did not come back up after a reboot for
kernel updates.

Somehow our workstations are much more reliable than the machines with
server hardware, even though they even have an RMI.

Fabian

Last updated: Feb 01 2025 at 20:19 UTC