filled out coverty's ci configuration