Re: [PATCH] ci: Switch to OpenSUSE leap 15.4