fsfw/fsfw
fsfw/fsfw
10
3
Fork 6
Code Issues 31 Pull Requests 4 Releases 10 Wiki Activity

Switch to new documentation server #694

Merged
mohr merged 16 commits from mohr/documentation_ci into development 2022-09-30 15:05:20 +02:00
Conversation 0 Commits 16 Files Changed 5 +1 -1
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 9e6c1d60e5 - Show all commits

2
automation/Jenkinsfile vendored
View File

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