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