Re: Build server maintenance on Saturday, Dec 2

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 -- [email protected]
To unsubscribe send an email to [email protected]