From e4306d68389c0c2a4f4fbf52fbf1443c7fcd4a70 Mon Sep 17 00:00:00 2001
From: Julian Mutter <julian.mutter@comumail.de>
Date: Fri, 3 Oct 2025 11:41:41 +0200
Subject: [PATCH] jenkins: use pollSCM instead of cron

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 08a41bb..fe5a31b 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -5,7 +5,7 @@ pipeline {
         }
     }
     triggers {
-        cron('H/10 * * * *')
+        pollSCM('H/10 * * * *')
     }
     stages {
         stage('Test devenv') {