Re: [PATCH v2 00/10] Big CI update (and some bug fixes)