Set Travis-CI sudo=false to use Docker infrastructure