From 1c8b906b6a9ca7af3c2fb23b85473cdce96911c9 Mon Sep 17 00:00:00 2001
From: Ruben Abad <rabad@cvc.uab.es>
Date: Tue, 6 Feb 2024 12:01:20 +0100
Subject: [PATCH] incremental repo

---
 Jenkinsfile | 18 +++---------------
 1 file changed, 3 insertions(+), 15 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index e12e20345..0021960ac 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -202,11 +202,13 @@ pipeline
                             when { branch "ruben/jenkins_migration"; }
                             steps
                             {
-                                dir('doc_repo')
+                                
+                                dir('${env.WORKSPACE}/doc_repo')
                                 {
                                     checkout scmGit(
                                         branches: [[name: '*/ruben/jenkins_migration']], 
                                         extensions: [
+                                            cleanBeforeCheckout(),
                                             checkoutOption(120), 
                                             localBranch("**"), 
                                             cloneOption(noTags:false, reference:'', shallow: false, timeout:120)
@@ -232,20 +234,6 @@ pipeline
                                 }
                                 
                             }
-                            post
-                            {
-                                always
-                                {
-                                    deleteDir()
-                                }
-                            }
-                        }
-                    }
-                    post
-                    {
-                        always
-                        {
-                            deleteDir()
                         }
                     }
                 }