Excluding wait times, jenkins already seems faster than Travis by a decent margin