jobs/seed-github-ci: fix cron() argument typeI thought the int there would automatically get coerced to a string, butthat's not the case.