diff options
| author | 2025-10-27 19:01:18 +0100 | |
|---|---|---|
| committer | 2025-10-27 19:01:18 +0100 | |
| commit | 30657ef386303e9005a15cc3309a1a68cf2fe614 (patch) | |
| tree | 7801d528ba991a5f24508c6ed5ebb89246cf7f3e /Jenkinsfile | |
| parent | 25f8717d4e527664a990332432c82b1e1d5c6d78 (diff) | |
Run at least once a week
Diffstat (limited to 'Jenkinsfile')
| -rw-r--r-- | Jenkinsfile | 1 |
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 |
