]> git.99rst.org Git - git.git/commit
git.99rst.org / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f9d4bb7)
ci: set CI_JOB_IMAGE for coverity job
authorJeff King <redacted>
Fri, 31 Jan 2025 23:30:15 +0000 (18:30 -0500)
committerJunio C Hamano <redacted>
Mon, 3 Feb 2025 17:24:42 +0000 (09:24 -0800)
commit14ddc393b17e80036485f69495006b18716c1863
tree14c370fc36f45732af444f2f4fdfdf2cab867043tree
parentf9d4bb7b9ae14a740f6c074149e7948bf6dcc3fbcommit | diff
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 <redacted>
Signed-off-by: Junio C Hamano <redacted>
.github/workflows/coverity.yml diff | blob | history
git clone https://git.99rst.org/PROJECT