CI integration with travis-CI