"Johannes Schindelin via GitGitGadget" <gitgitgadget@xxxxxxxxx> writes: > From: Johannes Schindelin <johannes.schindelin@xxxxxx> > > 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@xxxxxx> > --- > .github/workflows/coverity.yml | 6 +++++- > 1 file changed, 5 insertions(+), 1 deletion(-) Wonderful. Will queue, together with 1/2. Thanks. > > diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml > index a5d99e59d4eb..1e8bd85ecd4e 100644 > --- a/.github/workflows/coverity.yml > +++ b/.github/workflows/coverity.yml > @@ -149,7 +149,11 @@ jobs: > run: | > export PATH="$PATH:$(cygpath -au "$RUNNER_TEMP")/cov-analysis/bin" && > cov-configure --gcc && > - cov-build --dir cov-int make > + if ! cov-build --dir cov-int make > + then > + cat cov-int/build-log.txt > + exit 1 > + fi > - name: package the build > run: tar -czvf cov-int.tgz cov-int > - name: submit the build to Coverity Scan
