diff --git a/Jenkinsfile b/Jenkinsfile index d81b7dde..f9e2598d 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,6 +1,10 @@ pipeline { agent any + options { + disableConcurrentBuilds() + } + environment { DEPLOY_USER = 'hskwon' RELEASE_ID = new Date().format('yyyyMMdd_HHmmss')