Fix CI settings.