Commit 5953f78928b869d302b1dbb17b89473e347090a9

Edward Thomson 2018-07-29T17:26:44

ci: run coverity from a nightly VSTS build (cherry picked from commit d076db11a84b278e260139269c25fe692930f238)