Commit 15256b7b27e21e6140dfc5f33a924a525de6ab20
2018-07-28T22:29:53
ci: run coverity from travis's cron Instead of trying to run coverity builds during the regular PR process, run them during a regularly scheduled cron process. These only need to run nightly, so it makes sense to bring them out of the PR process. (cherry picked from commit 6b92368c859d0bf0dcdb15ca8bee520e0f4e84f2)