Fix CI configuration... no comments