1
0

Update Jenkinsfile

This commit is contained in:
Andrea Cavalli 2020-10-07 01:24:22 +02:00
parent 571f4ef0ee
commit ff19a9ed72

3
Jenkinsfile vendored
View File

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