redid travis file