Patrick Steinhardt <ps@xxxxxx> writes: > 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! Thanks, both. Queued and pushed out.
