• Show log

    Commit

  • Hash : 15256b7b
    Author : Edward Thomson
    Date : 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)