I just updated the

CI Status

pants-devel@ thread, but Jenkins powered CI for your PRs and master is now back working.