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

From: Junio C Hamano <gitster@pobox.com>
Date: Feb 3, 2025, 21:32 UTC
Message-ID: <xmqqo6zi1zpm.fsf@gitster.g>
In-Reply-To: <Z6BdWjgd8kk2c9u7@pks.im>

Patrick Steinhardt <ps@pks.im> writes:

Show 17 quoted lines

> On Fri, Jan 31, 2025 at 06:30:15PM -0500, Jeff King wrote:
>> 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!

Thanks, both.  Queued and pushed out.