]> git.ipfire.org Git - thirdparty/git.git/commit
Merge branch 'jk/ci-coverity-update'
authorJunio C Hamano <gitster@pobox.com>
Mon, 10 Feb 2025 18:18:31 +0000 (10:18 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 10 Feb 2025 18:18:31 +0000 (10:18 -0800)
commit50e1821529fd0a096fe03f137eab143b31e8ef55
treea7e83a0f57a482e5abcd88115394c0ae4602aebf
parent6f0b72205d6da3ae20fd9834b3ba5fb2e3d15811
parent14ddc393b17e80036485f69495006b18716c1863
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