jobs/seed-github-ci: fix cron() argument type

jlebon · jlebon · commit 5ed5f9f8dac8 · 2024-02-20T15:18:34.000-05:00
I thought the int there would automatically get coerced to a string, but
that's not the case.
diff --git a/jobs/seed-github-ci.Jenkinsfile b/jobs/seed-github-ci.Jenkinsfile
@@ -45,7 +45,7 @@ node { repos.each { repo ->
             triggers {
                 // manually rescan once a day; this is important so that it
                 // picks up on deleted branches/PRs which can be cleaned up
-                cron(60 * 24)
+                cron((60 * 24).toString())
             }
             // things which don't seem to have a nice DSL :(
             configure {

Original file line number	Diff line number	Diff line change
`@@ -45,7 +45,7 @@ node { repos.each { repo ->`
`45`	`45`	`triggers {`
`46`	`46`	`// manually rescan once a day; this is important so that it`
`47`	`47`	`// picks up on deleted branches/PRs which can be cleaned up`
`48`		`- cron(60 * 24)`
	`48`	`+ cron((60 * 24).toString())`
`49`	`49`	`}`
`50`	`50`	`// things which don't seem to have a nice DSL :(`
`51`	`51`	`configure {`