Our current CI setup is a typical one: for each PR made to our main Git repo, we have a Jenkins on which do a build + test, and after passing those and code reviews, we merge. T