Fixed broken CI config