add missing CI configuration from previous commit