Closed valencik closed 1 year ago
Oh, we probably want to set updates.limit
if we're gonna bump the frequency up to 20min...
Hmm.
Invalid workflow file: .github/workflows/steward.yml#L1
invalid `cron` attribute "*/20 6-2 * * *"
So the dash syntax is part of the posix standard, but maybe I'm not allowed to loop around like in 6-2
I'll experiment more tomorrow
Already fixed in https://github.com/typelevel/steward/pull/19 :)
This PR creates two Steward jobs, one for "expensive" CI and one for "cheap" CI. With "expensive" and "cheap" being differentiated by how big their build matrices are.
"cheap" CI runs every 20min from 3am to midnight And "expensive" CI runs from midnight to 3am
From https://devtoolcafe.com/tools/cron:
*/20 0-2 * * *
: ~Every 20 minutes, between 00:00 and 02:59, every day~*/20 3-23 * * *
: ~Every 20 minutes, between 03:00 and 23:59, every day~Update, new times:
*/30 3-5 * * *
: Every 30 minutes, between 03:00 and 05:59, every day*/20 6-2 * * *
: Every 20 minutes, between 06:00 and 02:59, every dayWe also limit Steward to only opening one PR per run