From 86dcd957bfd2abac2bd693aeac4acc905f3032a0 Mon Sep 17 00:00:00 2001
From: Ruben Abad <rabad@cvc.uab.es>
Date: Thu, 18 Jan 2024 01:39:49 +0100
Subject: [PATCH] gpu machine does git checkout

---
 Jenkinsfile_new | 2 --
 1 file changed, 2 deletions(-)

diff --git a/Jenkinsfile_new b/Jenkinsfile_new
index 44e79a3a1..69e187e56 100644
--- a/Jenkinsfile_new
+++ b/Jenkinsfile_new
@@ -97,7 +97,6 @@ pipeline
                         stage('ubuntu smoke tests')
                         {
                             agent { label "ubuntu && gpu" }
-                            options { skipDefaultCheckout true }
                             steps
                             {
                                 unstash name: 'ubuntu_eggs'
@@ -173,7 +172,6 @@ pipeline
                                 
                                 sh '''
                                     tar -xvzf carla_doc.tar.gz
-                                    ls
                                     git add Doxygen
                                     git commit -m "Updated c++ docs" || true
                                 '''