Re: [build system] jenkins mildly wedged, needs a quick restart

2019-01-14 Thread shane knapp
alright, everything seems to be working as expected! :) On Mon, Jan 14, 2019 at 11:07 AM shane knapp wrote: > we're back up and building... things still seem a little flaky so i'll be > investigating a little bit deeper in to what's doing on. > > On Mon, Jan 14, 2019 at 10:55 AM shane knapp

Re: [build system] jenkins mildly wedged, needs a quick restart

2019-01-14 Thread shane knapp
we're back up and building... things still seem a little flaky so i'll be investigating a little bit deeper in to what's doing on. On Mon, Jan 14, 2019 at 10:55 AM shane knapp wrote: > this will kill a bunch of PRB builds, so i'll go and retrigger them once > jenkins is back up. > > -- > Shane

[build system] jenkins mildly wedged, needs a quick restart

2019-01-14 Thread shane knapp
this will kill a bunch of PRB builds, so i'll go and retrigger them once jenkins is back up. -- Shane Knapp UC Berkeley EECS Research / RISELab Staff Technical Lead https://rise.cs.berkeley.edu