Commit 86c54cc8a895400ed747b9b5868f8a5722473980
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.