[MariaDB developers] CI failures visible on GitHub (affecting contributors)