diff options
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2025-06-11 15:54:38 +0000 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2025-06-11 10:01:14 -0700 |
| commit | 3cc4fc1ebd5003ea0d88684d419cb750f487e352 (patch) | |
| tree | ac116916412fb0e10a13e62c0ad93c839c6cf6be /commit.c | |
| parent | 882efe0444c18a1868fd95fd539a654b59fb13a5 (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>
Diffstat (limited to 'commit.c')
0 files changed, 0 insertions, 0 deletions