Re: Automating Coverity, was Re: [PATCH 00/26] Address a couple of issues identified by Coverity
From: Johannes Schindelin <hidden>
Date: 2017-05-02 11:46:38
From: Johannes Schindelin <hidden>
Date: 2017-05-02 11:46:38
Hi Lars, On Mon, 1 May 2017, Lars Schneider wrote:
Looks like Coverity has TravisCI integration and I assume you wouldn't need to worry about downloading the tool in that setup: https://scan.coverity.com/travis_ci
Except for that tiny little fact that Travis CI does not support Windows backends (nor would they even respond to my offer to work with them). Ciao, Dscho