p71924506
/
carla
mirror of https://github.com/carla-simulator/carla.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'ruben/jenkins_migration' of github.com:carla-simulator/carla into ruben/jenkins_migration

This commit is contained in:
Ruben Abad 2024-02-07 16:47:16 +01:00
parent 0ba17bf334 4fdd8d73f2
commit 7d071d06b7
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
Jenkinsfile vendored
View File

@ -227,7 +227,8 @@ pipeline
when { branch "ruben/jenkins_migration"; }
steps
{
dir('${env.WORKSPACE}/doc_repo')
dir("${env.WORKSPACE}/doc_repo")
{
unstash name: 'carla_docs'
withCredentials([gitUsernamePassword(credentialsId: 'github_token_as_pwd_2', gitToolName: 'git-tool')]) {