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. _______________________________________________ coreboot mailing list -- coreboot@coreboot.org To unsubscribe send an email to coreboot-le...@coreboot.org