jenkins: use custom workspace with more room

otherlab / geode

A computational geometry library for C++ and Python

Other

86 stars 22 forks source link

Closed tdfischer closed 7 years ago

tdfischer commented 7 years ago

This updates our jenkins builds to run builds out of /opt/jenkins/ instead of /var/lib. Should address our issues with running out of space.

tdfischer commented 7 years ago

Not merging this one since we ended up just moving Jenkins into the new disk space.