Change Travis CI setting