gitreef

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README | LICENSE

commit 01fe22c69287f80e20537978b9b08c82e423aa43
parent 9f90bcfff73d9e8343be553e28058f851935c94f
Author: Matthias Jaros <jaros@mailbox.org>
Date:   Mon, 27 Oct 2025 19:01:18 +0100

Run at least once a week

Diffstat:
MJenkinsfile | 1+
1 file changed, 1 insertion(+), 0 deletions(-)

diff --git 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