diff --git a/.jenkins/Jenkinsfile b/.jenkins/Jenkinsfile index 5aa80fff0..2708df495 100644 --- a/.jenkins/Jenkinsfile +++ b/.jenkins/Jenkinsfile @@ -193,8 +193,6 @@ pipeline { dir("${env.WORKSPACE}/plssvm") { checkout scm } - checkout scm - } }