trivial: Slight CI config change