diff options
author | Junio C Hamano <gitster@pobox.com> | 2025-02-10 10:18:31 -0800 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2025-02-10 10:18:31 -0800 |
commit | 50e1821529fd0a096fe03f137eab143b31e8ef55 (patch) | |
tree | a7e83a0f57a482e5abcd88115394c0ae4602aebf /commit.c | |
parent | 6f0b72205d6da3ae20fd9834b3ba5fb2e3d15811 (diff) | |
parent | 14ddc393b17e80036485f69495006b18716c1863 (diff) |
Merge branch 'jk/ci-coverity-update'
CI update to make Coverity job work again.
* jk/ci-coverity-update:
ci: set CI_JOB_IMAGE for coverity job
Diffstat (limited to 'commit.c')
0 files changed, 0 insertions, 0 deletions