Commit cf14215deda8fa8ec0da7567e15f0acb8035d162

Edward Thomson 2019-01-28T12:41:22

Merge pull request #4964 from libgit2/ethomson/ci_nightly ci: add an individual coverity pipeline