i hate doing this, because our tests and builds take WAAAAAAAAY too long, but this should help get PRs through before the code freeze.
-- Shane Knapp UC Berkeley EECS Research / RISELab Staff Technical Lead https://rise.cs.berkeley.edu
- [build system] bumped pull request builder job timeout to 400... shane knapp
