edit format for travis os selection