From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Tue, 02 May 2017 11:46:16 GMT
Subject: Re: Automating Coverity, was Re: [PATCH 00/26] Address a couple of issues identified by Coverity
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