Some minor updates for our CI strategy.