From f1ef68cb7fd9f5805e79a6aeb909f726b067d09d Mon Sep 17 00:00:00 2001
From: Andrea Cavalli <andrea@cavallium.it>
Date: Wed, 7 Oct 2020 11:08:45 +0200
Subject: [PATCH] Update Jenkinsfile

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 9f32a22..fbc9944 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")