moved most Jenkinsfile functionality into jenkins-libraries and added the... (!50) · Merge requests · giscience / big-data / ohsome / parent

Constantin Nicolai requested to merge update_jenkins into master Oct 06, 2023

moved most Jenkinsfile functionality into jenkins-libraries and added the library definitions file pipeline_config.groovy

moved most Jenkinsfile functionality into jenkins-libraries and added the...