Commit 86c54cc8a895400ed747b9b5868f8a5722473980

Patrick Steinhardt 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.