FSFW Update #28

Merged
jgerhards merged 782 commits from fsfw_update into develop 2023-05-28 23:43:22 +02:00
774 changed files with 11112 additions and 8131 deletions
Showing only changes of commit 6451a16888 - Show all commits

View File

@@ -68,7 +68,7 @@ pipeline {
sh 'make Sphinx' sh 'make Sphinx'
sh 'cd docs/sphinx' sh 'cd docs/sphinx'
sshagent(credentials: ['documentation-buildfix']) { sshagent(credentials: ['documentation-buildfix']) {
sh 'scp -r ./* buildfix@documentation.intra.irs.uni-stuttgart.de:/mnt/data/www/html/fsfw/master' sh 'scp -o StrictHostKeyChecking=no -r ./* buildfix@documentation.intra.irs.uni-stuttgart.de:/mnt/data/www/html/fsfw/master'
} }
} }
} }