Re: no more pullreq processing til February

["Alex Bennée" <alex.bennee@linaro.org>]

Peter Maydell <peter.maydell@linaro.org> writes:

> Hi; we've run out of gitlab CI pipeline minutes for this month.
> This leaves us the choice of:
>  (a) don't process any more pullreqs til we get more minutes in Feb
>  (b) merge pullreqs blindly without CI testing
>  (c) buy more minutes
>
> For the moment I propose to take option (a). My mail filter will
> continue to track pullreqs that get sent to the list, but I won't
> do anything with them.
>
> If anybody has a better suggestion feel free :-)

I've submitted a support request (#366644) to GitLab to see if they will
give us more minutes for this month. Longer term ideas:

 * Reduce compile time by reducing number of identical object files we
   build for specific_ss
 * Move more tests over to custom runners (don't we have an x86 box
   somewhere?)
 * Carry out an audit of code coverage for different test sets and
   rationalise our CI set

-- 
Alex Bennée
Virtualisation Tech Lead @ Linaro