Server maintenance finished. All build servers are back up again.
On Sat, 2023-12-02 at 13:16 +0000, Felix Singer wrote:
Finished the planned maintenance on the builders Bob, Muck, Pickles and Pilchard. They are back online.
Since there doesn't seem to be much traffic on Gerrit today, and while on it, I'm going to take the builders Roley and Scoop for another maintenance offline as well.
On Sat, 2023-12-02 at 10:58 +0000, Felix Singer wrote:
The maintenance starts now.
On Fri, 2023-12-01 at 08:43 +0000, Felix Singer wrote:
I will do a maintenance on some build servers this Saturday, Dec 2. You might experience long waiting times for builds.
The maintenance is scheduled for 12pm UTC+1 and it's expected to be finished at 4pm UTC+1.