[MariaDB developers] Re: Can we get MariaDB GitHub CI to consistently be green?