1
0

Update Jenkinsfile

This commit is contained in:
Andrea Cavalli 2020-10-07 11:08:45 +02:00
parent 5861174127
commit f1ef68cb7f

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")