Travis CI config change