Re: [PATCH] .github/workflows: add coverity action

[Jeff King <peff@peff.net>]

On Fri, Aug 25, 2023 at 05:32:01PM -0400, Jeff King wrote:

> > Coverity's website provides a service accepts "builds" (which is more or
> > less the collection of '*.o' files generated during a standard build
> > with "make") as input and generates reports as output. In order to
> > generate a report, we have to first compile Git and then upload the
> > build archive to Coverity.
> 
> I don't think this is quite right. You run a build with their
> "cov-build" wrapper, which does some magic. It _does_ invoke the actual
> compiler, but does some extra magic, too (I don't know the details, but
> it is running cov-translate and cov-emit on the actual source file).
> 
> This maybe seems like nit-picking, but it will play into some questions
> I have on the patch itself.

I guess I never actually asked those questions, but they were: why are
you asking for some specific version of gcc since we don't really care
much about the actual compiler.

But I think you don't care about the compiler version; you were just
trying to feed enough data to install-dependencies to get it to run.

-Peff