fix trafis.ci settings