increase doc repo fetch timeout

This commit is contained in:
Ruben Abad 2024-01-15 20:22:31 +01:00
parent b1e695b5b1
commit 534a2ea21d
1 changed files with 1 additions and 1 deletions

View File

@ -157,7 +157,7 @@ pipeline
when { branch "ruben/jenkins_migration" }
steps
{
checkout scmGit(branches: [[name: '*/master']], extensions: [checkoutOption(120)], userRemoteConfigs: [[credentialsId: 'github_token_as_pwd_2', url: 'https://github.com/carla-simulator/carla-simulator.github.io.git']])
checkout scmGit(branches: [[name: '*/master']], extensions: [checkoutOption(120), cloneOptions(noTags:false, reference:'', shallow: false, timeout:120)], userRemoteConfigs: [[credentialsId: 'github_token_as_pwd_2', url: 'https://github.com/carla-simulator/carla-simulator.github.io.git']])
sh 'make docs'
sh 'cp -rf ./Doxygen ~/carla-simulator.github.io/'
/*