Build Manager Server Down

Fabian Huch huch at in.tum.de
Fri Jan 17 12:37:44 CET 2025


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
>


More information about the isabelle-dev mailing list