kmx git

azure-pipelines/coverity.sh

Author	Commit	Date	CI	Message
	c76c1e87	2020-03-10T20:39:09		azure: docker: consistently silence curl but show errors We currently pass the "--silent" flag to most invocations of curl, but in fact this does not only suppress the progress meter, but also any errors. So let's also pass "--show-error", too.
	86c54cc8	2020-02-04T11:51:56		azure: coverity: fix Coverity builds due to various issues There's several issues with our Coverity builds, like e.g. missing wget in our containers. Simplify our Coverity pipeline and fix these issues.