From: Jeff King <peff@peff.net>
Date: Fri, 03 Jan 2025 18:57:27 GMT
Subject: Re: [PATCH 00/10] A couple of CI improvements
Message-ID: <20250103185727.GB3208749@coredump.intra.peff.net>
In-Reply-To: <20250103-b4-pks-ci-fixes-v1-0-a9bb95dff833@pks.im>

On Fri, Jan 03, 2025 at 03:46:37PM +0100, Patrick Steinhardt 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 comments on two patches, but the rest seemed fine to me (and I am
very happy to see cleanup of old/stale code).

-Peff