configure timeout for doc repo checkout

This commit is contained in:
Ruben Abad 2024-01-15 17:27:23 +01:00
parent ccc6764353
commit b1e695b5b1
1 changed files with 1 additions and 1 deletions

View File

@ -157,7 +157,7 @@ pipeline
when { branch "ruben/jenkins_migration" } when { branch "ruben/jenkins_migration" }
steps steps
{ {
checkout scmGit(branches: [[name: '*/master']], extensions: [], 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)], userRemoteConfigs: [[credentialsId: 'github_token_as_pwd_2', url: 'https://github.com/carla-simulator/carla-simulator.github.io.git']])
sh 'make docs' sh 'make docs'
sh 'cp -rf ./Doxygen ~/carla-simulator.github.io/' sh 'cp -rf ./Doxygen ~/carla-simulator.github.io/'
/* /*