FSFW Update #28

Merged
jgerhards merged 782 commits from fsfw_update into develop 2023-05-28 23:43:22 +02:00
776 changed files with 11162 additions and 8134 deletions
Showing only changes of commit 7877776e24 - Show all commits

View File

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