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.
Showing
azure-pipelines/coverity-build.sh
deleted
100755 → 0
azure-pipelines/coverity-publish.sh
deleted
100755 → 0
azure-pipelines/coverity.sh
0 → 100755
Please
register
or
sign in
to comment