Re: [build system] jenkins pull request builds not triggering

2019-02-26 Thread shane knapp
jenkins is churning through a lot of github updates, and i'm finally seeing the backlog of pull requests builds starting. i'll keep an eye on things over the afternoon. On Tue, Feb 26, 2019 at 12:26 PM shane knapp wrote: > restarted jenkins, staring at logs. will report back when things look

Re: [build system] jenkins pull request builds not triggering

2019-02-26 Thread shane knapp
restarted jenkins, staring at logs. will report back when things look good. On Tue, Feb 26, 2019 at 12:22 PM shane knapp wrote: > investigating, and this will most likely require a jenkins restart. > > -- > Shane Knapp > UC Berkeley EECS Research / RISELab Staff Technical Lead > https://rise.cs

[build system] jenkins pull request builds not triggering

2019-02-26 Thread shane knapp
investigating, and this will most likely require a jenkins restart. -- Shane Knapp UC Berkeley EECS Research / RISELab Staff Technical Lead https://rise.cs.berkeley.edu