Skip to content

WIP: Jenkins setup for use with docker images

Christian Gumpert requested to merge jenkins_instructions into master

Using docker for CI jobs simplifies the required setup of the Jenkins instance. The documentation has been updated.

Merge request reports