Travis CI configuration updated