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@xxxxxxxx> > --- > Grepping for "distro:" doesn't find any other instances. Doh, indeed. Thanks for fixing! Patrick
