Re: gitlab shared runner time expired

[Richard Henderson]

On 5/19/23 02:18, Peter Maydell wrote:
> On Thu, 18 May 2023 at 20:27, Richard Henderson
> <richard.henderson@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 ?

Mostly one at a time, because most pull requests have had errors.  Every single time I've 
tried to batch them this month it has been futile.


r~