The CI pipeline