Re: What's cooking in git.git (Jan 2025, #08; Tue, 28)

From: Patrick Steinhardt <ps@pks.im>
Date: Feb 3, 2025, 06:08 UTC
Message-ID: <Z6BdWjgd8kk2c9u7@pks.im>
In-Reply-To: <20250131233015.GA3544301@coredump.intra.peff.net>

On Fri, Jan 31, 2025 at 06:30:15PM -0500, Jeff King wrote:

Show 14 quoted lines

> On Wed, Jan 29, 2025 at 08:57:36AM +0100, Patrick Steinhardt wrote:
> -- >8 --
> Subject: [PATCH] ci: set CI_JOB_IMAGE for coverity job
> 
> The main GitHub Actions workflow switched away from the "$distro"
> variable in b133d3071a (github: simplify computation of the job's
> distro, 2025-01-10). Since the Coverity job also depends on our
> ci/install-dependencies.sh script, it needs to likewise set CI_JOB_IMAGE
> to find the correct dependencies (without this patch, we don't install
> curl and the build fails).
> 
> Signed-off-by: Jeff King <peff@peff.net>
> ---
> Grepping for "distro:" doesn't find any other instances.

Doh, indeed. Thanks for fixing!

Patrick