Fix CI config pt. 12