Re: [PATCH] ci: Switch to OpenSUSE Leap 15.5