diff --git a/Jenkinsfile b/Jenkinsfile index 8d45cdc..18e7c19 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -5,6 +5,7 @@ pipeline { agent { label 'linux' } options { + disableRestartFromStage() disableConcurrentBuilds() /* manage how many builds we keep */ buildDiscarder(logRotator( @@ -61,4 +62,4 @@ pipeline { def isMasterBranch() { GIT_BRANCH ==~ /.*master/ } def deployBranch() { isMasterBranch() ? 'deploy-master' : 'deploy-develop' } -def deployDomain() { isMasterBranch() ? 'docs.status.network' : 'dev-docs.status.network' } \ No newline at end of file +def deployDomain() { isMasterBranch() ? 'docs.status.network' : 'dev-docs.status.network' }