Re: Automating Coverity, was Re: [PATCH 00/26] Address a couple of issues identified by Coverity
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- May 2, 2017, 11:46 UTC
- Message-ID
- <alpine.DEB.2.20.1705021345100.3480@virtualbox>
- In-Reply-To
- <73A81857-0083-4A70-88AE-FAA025B6A4B7@gmail.com>
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