Re: [PATCH 2/2] ci: Drop cirrus