Commit 3c6d1979546945ce3826a6c4e6a516e4a24e15ad

Etienne Samson 2019-01-11T02:06:41

ci: move coverity in its own pipeline Since Coverity is down for a unspecified timeframe, isolate it from the "hosted" nightlies.