merge upstream development #110

Merged
muellerr merged 70 commits from mohr/merge-upstream into develop 2022-09-15 18:34:50 +02:00
Showing only changes of commit 9bd600c488 - Show all commits

View File

@ -42,7 +42,7 @@ pipeline {
} }
stage('Documentation') { stage('Documentation') {
when { when {
branch 'development' branch 'mohr/documentation_ci'
} }
steps { steps {
dir(DOCDDIR) { dir(DOCDDIR) {