On Thu, 18 May 2023 at 20:27, Richard Henderson <richard.hender...@linaro.org> wrote: > > So, here we are again, out of runner time with 13 days left in the month.
This is quite early -- have you been processing pull requests strictly one at a time, or in (small) batches ? -- PMM
