Fix jenkinsfile

giis-uniovi · Oct 28, 2023 · e7c5de5 · e7c5de5
1 parent b3796de
commit e7c5de5
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1,6 +1,7 @@
 node ('xretorch-agent') {
     stage('test') {
-        git scm
+        checkout scm
+        sh sleep 10
         sh "mvn test"
     }
 }