diff --git a/Jenkinsfile b/Jenkinsfile index 4e58b88a3..e0cad0492 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,28 +1,22 @@ pipeline { - agent { label 'ubuntu' } - options { buildDiscarder logRotator(daysToKeepStr: '14', numToKeepStr: '10') timeout(80) disableConcurrentBuilds() } - tools { jdk 'JDK 1.7 (latest)' maven 'Maven 3 (latest)' } - triggers { pollSCM 'H/15 * * * *' } - environment { - MAVEN_OPTS = "-Xmx1024m -XX:MaxPermSize=256m" + MAVEN_OPTS = '-Xmx1024m -XX:MaxPermSize=256m' } - stages { stage('Build') { steps {