Peter Maydell <peter.mayd...@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
