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

2024-06-05 12:30:22 +02:00 · 2024-06-05 12:30:22 +02:00 · 2c85c528cc
parent 5287e239a3 e2574609f9
commit 2c85c528cc
1 changed files with 2 additions and 2 deletions
--- a/4
+++ b/4
@ -132,7 +132,7 @@ pipeline
                                                dir('doc_repo')
                                                {
                                                    checkout scmGit(
-                                                        branches: [[name: '*/master']], 
+                                                        branches: [[name: '*/dev']], 
                                                        extensions: [
                                                            cleanBeforeCheckout(),
                                                            checkoutOption(120), 
@ -316,7 +316,7 @@ pipeline
                                                            tar -xvzf carla_doc.tar.gz
                                                            git add Doxygen
                                                            git commit -m "Updated c++ docs" || true
-                                                            git push --set-upstream origin master
+                                                            git push --set-upstream origin dev
                                                        '''
                                                    }
                                                }