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