format for travis file