Switch to Jenkins for CI