Fix CI config