Hi, On 2022-03-21 12:23:02 +1300, Thomas Munro wrote: > or actually a shade fewer because it's pretty dumb and only wakes up once a > minute to decide what to do
Might be worth using https://cirrus-ci.org/api/#webhooks to trigger a run of the scheduler. Probably still want to have the timeout based "scheduling iterations", but perhaps at a lower frequency? Greetings, Andres Freund