]> git.ipfire.org Git - thirdparty/git.git/commit
projects / thirdparty / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 882efe0) | patch
ci(coverity): output the build log upon error
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Wed, 11 Jun 2025 15:54:38 +0000 (15:54 +0000)
committerJunio C Hamano <gitster@pobox.com>
Wed, 11 Jun 2025 17:01:14 +0000 (10:01 -0700)
commit3cc4fc1ebd5003ea0d88684d419cb750f487e352
treeac116916412fb0e10a13e62c0ad93c839c6cf6betree
parent882efe0444c18a1868fd95fd539a654b59fb13a5commit | diff
ci(coverity): output the build log upon error

It is quite helpful to know what Coverity said, exactly, in case it
fails to analyze the code.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
.github/workflows/coverity.yml diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.