Editing travis file