Merge branch 'jenkins-update' into 'master'
updated Jenkinsfile according to oshdb/ohsome-api/ohsome-filter See merge request !4
Please register or sign in to comment
updated Jenkinsfile according to oshdb/ohsome-api/ohsome-filter See merge request !4