Commit 08d71f72dd231b64ef30cc462723db6714b94513

Edward Thomson 2019-01-27T22:46:07

ci: return coverity to the nightlies