|
| From: | Peter Maydell |
| Subject: | Re: gitlab shared runner time expired |
| Date: | Fri, 19 May 2023 10:18:19 +0100 |
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 ? -- PMM
| [Prev in Thread] | Current Thread | [Next in Thread] |