1
0

Update Jenkinsfile

This commit is contained in:
Andrea Cavalli 2020-10-07 01:24:14 +02:00
parent e13eaa156c
commit 2e50f867a3

3
Jenkinsfile vendored
View File

@ -7,9 +7,6 @@ pipeline {
JAVA_TOOL_OPTIONS = '-Duser.home=/var/maven' JAVA_TOOL_OPTIONS = '-Duser.home=/var/maven'
} }
agent any agent any
triggers {
pollSCM "* * * * *"
}
options { options {
timestamps() timestamps()
ansiColor("xterm") ansiColor("xterm")