Hi, there will be an unavoidable downtime of the buildfarm server tomorrow March 31 between noon and 4pm UTC. We'll try to have the server back earlier, but that's the window.
You might want to turn off your animals around that time so they don't try to report a result and fail.
It looks like we're back up now, and it was quicker than expected!
The machine has also changed IP address. This was updated in DNS at the beginning of the window and with a short TTL it *should* be automatic. But if yours didn't update, you may need to flush a cache. The new addresses are 87.238.57.234 and 2a02:c0:301:0:ffff::34.
