diff --git a/Jenkinsfile b/Jenkinsfile index 54613c3..f75bf3d 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,8 +1,11 @@ pipeline { - agent any + agent { + label 'linux && increased_mem' + } options { disableConcurrentBuilds() } + stages { stage("run server") { when {