Modify travis setting