Does anyone know why https://github.com/pantsbuild/pants/pull/3044 did not get a travis CI build? Is there some way I can run one for it? Or should I just try pushing a new SHA?