summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Matthias Lucas Jaros <jarlucmat@mailbox.org>2025-10-27 19:01:18 +0100
committerGravatar Matthias Lucas Jaros <jarlucmat@mailbox.org>2025-10-27 19:01:18 +0100
commit30657ef386303e9005a15cc3309a1a68cf2fe614 (patch)
tree7801d528ba991a5f24508c6ed5ebb89246cf7f3e
parent25f8717d4e527664a990332432c82b1e1d5c6d78 (diff)
Run at least once a week
-rw-r--r--Jenkinsfile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile
index 09333fa..2808239 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -4,6 +4,7 @@ pipeline {
}
triggers {
pollSCM('H/5 * * * *') // every ~5 minutes
+ cron('H 3 * * 0') // every week once
}
// 👇 Fill these for your setup