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