ci: Increase frequency of internal CI runs

tokengeek · tokengeek · commit ca71a38011c3 · 2025-12-02T10:49:41.000Z
Rather than monthly, these should run weekly.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -4,7 +4,7 @@ pipeline {
     ansiColor('xterm')
   }
   triggers {
-    cron('@monthly')
+    cron('@weekly')
   }
   stages {
     stage("Run tests") {
