travis settings.