]> Kevux Git Server - rit/commit
ci: set CI_JOB_IMAGE for coverity job
authorJeff King <peff@peff.net>
Fri, 31 Jan 2025 23:30:15 +0000 (18:30 -0500)
committerJunio C Hamano <gitster@pobox.com>
Mon, 3 Feb 2025 17:24:42 +0000 (09:24 -0800)
commit14ddc393b17e80036485f69495006b18716c1863
tree14c370fc36f45732af444f2f4fdfdf2cab867043
parentf9d4bb7b9ae14a740f6c074149e7948bf6dcc3fb
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>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
.github/workflows/coverity.yml