Follow-up from "Start working on git(lab) section" - add description of Jenkins CI
The following discussion from !5 (merged) should be addressed:
-
@dneise started a discussion: (+2 comments) @mlinhoff would you like me to add something here about Jenkins in this MR, or in a dedicated MR?