doucmentation is pulled/pushed to "dev" branch

This commit is contained in:
Ruben Abad 2024-06-05 12:29:36 +02:00
parent d6078abdbf
commit e2574609f9
1 changed files with 2 additions and 2 deletions

4
Jenkinsfile vendored
View File

@ -132,7 +132,7 @@ pipeline
dir('doc_repo') dir('doc_repo')
{ {
checkout scmGit( checkout scmGit(
branches: [[name: '*/master']], branches: [[name: '*/dev']],
extensions: [ extensions: [
cleanBeforeCheckout(), cleanBeforeCheckout(),
checkoutOption(120), checkoutOption(120),
@ -316,7 +316,7 @@ pipeline
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
git push --set-upstream origin master git push --set-upstream origin dev
''' '''
} }
} }