How important is it to have the updated images immediately? Just thinking if Timothee builds F40 and F41 at different times, it may cause duplicated builds (unless we implement the split image-versions files here too).
If we're okay with checking for images every 3 hours or so, that would reduce the duplicated builds while still ensuring we slirp up the new images that day
Correct. The goal is to remove as many useless builds as possible. So hopefully removing the schedule trigger and relying on these digest bumps, although the schedules are still enabled for now
So we do still have a redundant pull_request trigger build that we could potentially remove if we move tagging to push triggers. This is going back to the tagging to non-prod tags in merge queues and re-tagging them with the prod ones after the merge queue is merged to main
my bet is we'll need to shut off the cron because it's timed to go off an hour after akmods builds, so it'll be a race between that and the bot, and if the bot wins the cron fires off anyway.