Skip to content

Commit 14ddc39

Browse files
peffgitster
authored andcommitted
ci: set CI_JOB_IMAGE for coverity job
The main GitHub Actions workflow switched away from the "$distro" variable in b133d30 (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 <[email protected]> Signed-off-by: Junio C Hamano <[email protected]>
1 parent f9d4bb7 commit 14ddc39

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

.github/workflows/coverity.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -45,7 +45,7 @@ jobs:
4545
- run: ci/install-dependencies.sh
4646
if: contains(matrix.os, 'ubuntu') || contains(matrix.os, 'macos')
4747
env:
48-
distro: ${{ matrix.os }}
48+
CI_JOB_IMAGE: ${{ matrix.os }}
4949

5050
# The Coverity site says the tool is usually updated twice yearly, so the
5151
# MD5 of download can be used to determine whether there's been an update.

0 commit comments

Comments
 (0)