Schedule release build for 8:45 on 2025-10-17

alecharp · alecharp · commit ea979d35bbff · 2025-10-17T10:35:10.000+02:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1,7 +1,7 @@
 // Do not trigger build regularly on change requests as it costs a lot
 String cronTrigger = ''
 if(env.BRANCH_NAME == "master") {
-  cronTrigger = '0 7 * * 5' // 9:00am Friday morning in Paris, France (0700 UTC)
+  cronTrigger = '45 8 * * 5' // 10:45am Friday morning in Paris, France (0845 UTC)
 }
 
 properties([

Original file line number	Diff line number	Diff line change
`@@ -1,7 +1,7 @@`
`1`	`1`	`// Do not trigger build regularly on change requests as it costs a lot`
`2`	`2`	`String cronTrigger = ''`
`3`	`3`	`if(env.BRANCH_NAME == "master") {`
`4`		`- cronTrigger = '0 7 * * 5' // 9:00am Friday morning in Paris, France (0700 UTC)`
	`4`	`+ cronTrigger = '45 8 * * 5' // 10:45am Friday morning in Paris, France (0845 UTC)`
`5`	`5`	`}`
`6`	`6`
`7`	`7`	`properties([`