diff --git a/Jenkinsfile b/Jenkinsfile index b3fd05fef..fb0a2d5e5 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -311,7 +311,7 @@ pipeline dir('doc_repo') { unstash name: 'carla_docs' - withCredentials([gitUsernamePassword(credentialsId: 'github_token_as_pwd_2', gitToolName: 'git-tool')]) { + withCredentials([gitUsernamePassword(credentialsId: 'carla_test_1', gitToolName: 'git-tool')]) { sh ''' tar -xvzf carla_doc.tar.gz git add Doxygen