Modify Travis CI setting