Configuring the Jenkins CI job