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
