On Fri, Sep 22, 2023 at 10:42:02AM +0000, Johannes Schindelin via GitGitGadget wrote: > From: Johannes Schindelin <johannes.schindelin@xxxxxx> > > For completeness' sake, let's add support for submitting macOS builds to > Coverity Scan. I don't have any real problem with this, and it will check a few extra bits of platform-specific code not covered elsewhere. My big question would be: how much extra does this cost to run each time? I guess it is not too much (compared to regular CI); my coverity build job ran in 7 minutes, and that is including the download of the tool. -Peff
