(travis) Reshuffle CI workflow