Fix CI configuration