diff options
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/ghci.yml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/.github/workflows/ghci.yml b/.github/workflows/ghci.yml index 50fde9e2..1e69f2d5 100644 --- a/.github/workflows/ghci.yml +++ b/.github/workflows/ghci.yml @@ -120,6 +120,14 @@ jobs: COVERITY_UNSUPPORTED=1 cov-build --dir "$RES_DIR" make -j 2 cov-import-scm --dir "$RES_DIR" --scm git --log "$RES_DIR/scm_log.txt" 2>&1 + echo "" + echo "[COV] SCM LOG" + echo "=============" + echo "" + cat "$RES_DIR"/scm_log.txt + echo "" + echo "" + # Submit results to Coverity's server tar czf libass.tar.gz "$RES_DIR" upstat="$(curl --silent --write-out "\n%{http_code}\n" \ |