diff --git a/Jenkinsfile b/Jenkinsfile index da4919c63..492bb91fe 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,9 +1,10 @@ pipeline{ agent any - /* + tools{ - maven "Maven3" + maven "maven3" } + /* triggers{ cron("* * * * *") }