[build system] jenkins wedged again

i'm going to reboot the primary and worker nodes, so it'll be a few minutes before everything is back up. shane -- Shane Knapp Computer Guy / Voice of Reason UC Berkeley EECS Research / RISELab Staff Technical Lead https://rise.cs.berkeley.edu

Re: [build system] jenkins wedged again

we're mostly back up, and just waiting for a couple of ubuntu boxes to finish booting... prb seem to be building now! On Wed, Oct 14, 2020 at 11:48 AM shane knapp ☠ wrote: > i'm going to reboot the primary and worker nodes, so it'll be a few > minutes before everything is back up. > > shane > -

Re: [build system] jenkins wedged again

Thank you, Shane! Xiao On Wed, Oct 14, 2020 at 12:00 PM shane knapp ☠ wrote: > we're mostly back up, and just waiting for a couple of ubuntu boxes to > finish booting... prb seem to be building now! > > On Wed, Oct 14, 2020 at 11:48 AM shane knapp ☠ > wrote: > >> i'm going to reboot the prima

Re: [build system] jenkins wedged again

everything's up and jenkins is slowly chewing through the queue! :) On Wed, Oct 14, 2020 at 12:00 PM Xiao Li wrote: > Thank you, Shane! > > Xiao > > On Wed, Oct 14, 2020 at 12:00 PM shane knapp ☠ > wrote: > >> we're mostly back up, and just waiting for a couple of ubuntu boxes to >> finish boo

Re: [build system] jenkins wedged again

Thank you always, Shane! On Thu, Oct 15, 2020 at 4:55 AM shane knapp ☠ wrote: > everything's up and jenkins is slowly chewing through the queue! :) > > On Wed, Oct 14, 2020 at 12:00 PM Xiao Li wrote: > >> Thank you, Shane! >> >> Xiao >> >> On Wed, Oct 14, 2020 at 12:00 PM shane knapp ☠ >> wr