diff --git a/Jenkinsfile b/Jenkinsfile index 490ef80..cfcfb0f 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,6 +1,10 @@ pipeline { agent any + options { + // This is required if you want to clean before build + skipDefaultCheckout(true) + } environment {