check that documentation upload commands are done in the right place

This commit is contained in:
Ruben Abad 2024-01-31 11:25:27 +01:00
parent b9ae2e9ac9
commit 1e84ba868a
1 changed files with 2 additions and 0 deletions

2
Jenkinsfile vendored
View File

@ -222,6 +222,8 @@ pipeline
unstash name: 'carla_docs' unstash name: 'carla_docs'
withCredentials([gitUsernamePassword(credentialsId: 'github_token_as_pwd_2', gitToolName: 'git-tool')]) { withCredentials([gitUsernamePassword(credentialsId: 'github_token_as_pwd_2', gitToolName: 'git-tool')]) {
sh ''' sh '''
pwd
ls -lh
tar -xvzf carla_doc.tar.gz tar -xvzf carla_doc.tar.gz
git add Doxygen git add Doxygen
git commit -m "Updated c++ docs" || true git commit -m "Updated c++ docs" || true