Switch branch builds from Travis to Jenkins