Changes

Summary

  1. jobs/seed-github-ci: fix cron() argument type (details)
Commit 5ed5f9f8dac8d14b94cca2753de4e4eb834630d6 by Jonathan Lebon
jobs/seed-github-ci: fix cron() argument type

I thought the int there would automatically get coerced to a string, but
that's not the case.
The file was modified jobs/seed-github-ci.Jenkinsfile (diff)