i just restarted jenkins... hopefully this will fix the issue. of course, nothing in the logs to show why this happened (nor is there ever).
shane -- Shane Knapp UC Berkeley EECS Research / RISELab Staff Technical Lead https://rise.cs.berkeley.edu
- [build system] jenkins wedged, not accepting new PRBs shane knapp
