Skip to content

Commit 9597182

Browse files
committed
Merge branch 'jk/ci-coverity-update' into next
CI update to make Coverity job work again. * jk/ci-coverity-update: ci: set CI_JOB_IMAGE for coverity job
2 parents 1631090 + 14ddc39 commit 9597182

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)