From 46aee8503220360242d3d591f195f2cfa6d0db52 Mon Sep 17 00:00:00 2001 From: Ruben Abad Date: Mon, 15 Jan 2024 20:23:49 +0100 Subject: [PATCH] option error --- Jenkinsfile_new | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile_new b/Jenkinsfile_new index 1c33867c2..35263ea1e 100644 --- a/Jenkinsfile_new +++ b/Jenkinsfile_new @@ -157,7 +157,7 @@ pipeline when { branch "ruben/jenkins_migration" } steps { - 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']]) + checkout scmGit(branches: [[name: '*/master']], extensions: [checkoutOption(120), cloneOption(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/' /*