update credentials

This commit is contained in:
Ruben Abad 2024-06-04 15:23:46 +02:00
parent 76ccb9406c
commit dae1d58211
1 changed files with 1 additions and 1 deletions

2
Jenkinsfile vendored
View File

@ -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