Difference between revisions of "Continuous Integration procedure (2019)"