Re: [PATCH 0/2] ci : drop CentOS 8 Stream