diff --git a/Jenkinsfile b/Jenkinsfile index 425daf9..242cc8e 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,4 +1,5 @@ pipeline { + options { skipDefaultCheckout() } agent any environment { GITHUB_BRANCH = "${BRANCH_NAME}"