From: Christian Couder <christian.couder@gmail.com>
Date: Fri, 24 Jan 2025 09:59:04 GMT
Subject: Re: [PATCH v4 00/10] A couple of CI improvements
Message-ID: <CAP8UFD0oYM6Cp=NQfN4p+FS3Mfdng1kXQxObtoOG2QuhPN-Aeg@mail.gmail.com>
In-Reply-To: <20250110-b4-pks-ci-fixes-v4-0-6e4613446080@pks.im>

On Fri, Jan 10, 2025 at 12:34 PM Patrick Steinhardt <ps@pks.im> wrote:

> this patch series addresses a couple of issues I've found while
> investigating flaky CI jobs. Besides two more fixes for flaky jobs it
> also removes some stale code and simplifies the setup on GitHub Actions
> to always use containerized jobs on Linux.

I left a few comments but I don't think they require a reroll. This
series looks good to me too.