[build system] jenkins slow to respond

[Shane Knapp]

it's that time of the year again when jenkins decides to take it's time
serving pages.

i will post any updates/etc when i get them.

shane
-- 
Shane Knapp
UC Berkeley EECS Research / RISELab Staff Technical Lead
https://rise.cs.berkeley.edu