From 2e50f867a32a270e2bc2f5a63495fe2b17a17bd5 Mon Sep 17 00:00:00 2001
From: Andrea Cavalli <andrea@cavallium.it>
Date: Wed, 7 Oct 2020 01:24:14 +0200
Subject: [PATCH] Update Jenkinsfile

---
 Jenkinsfile | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 014dba1..5436844 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -7,9 +7,6 @@ pipeline {
 		JAVA_TOOL_OPTIONS = '-Duser.home=/var/maven'
 	}
 	agent any
-	triggers {
-		pollSCM "* * * * *"
-	}
 	options {
 		timestamps()
 		ansiColor("xterm")