Cutting down the number of travis jobs