Re: [PATCH 0/3] ci: Remove cirrus jobs