CI: improve Coverity error reporting
What?
Improves error reporting in buildlib/tools/coverity.sh to make Coverity errors more visible in the Azure DevOps CI pipeline.
Why?
Currently, identifying the specific Coverity errors causing CI failures is difficult because they are buried in the log output. This change helps to quickly see the errors without scrolling through the logs.
How?
Modifies the script to capture Coverity errors and output them at the end, making the cause of the failure immediately clear in the CI logs.
Before
After
@michal-shalev pls squash
@yosefe waiting for your reply on https://github.com/openucx/ucx/pull/10145#issuecomment-2404368115
I removed the "debug instructions" and squashed @yosefe