js/ci-coverity, was Re: What's cooking in git.git (Oct 2023, #02; Wed, 4)

From: Jeff King <peff@peff.net>
Date: Oct 5, 2023, 17:08 UTC
Message-ID: <20231005170859.GB975921@coredump.intra.peff.net>
In-Reply-To: <xmqqpm1ulzoh.fsf@gitster.g>

On Wed, Oct 04, 2023 at 04:45:34PM -0700, Junio C Hamano wrote:

Show 13 quoted lines

> * js/ci-coverity (2023-09-25) 7 commits
>  - SQUASH???
>  - coverity: detect and report when the token or project is incorrect
>  - coverity: allow running on macOS
>  - coverity: support building on Windows
>  - coverity: allow overriding the Coverity project
>  - coverity: cache the Coverity Build Tool
>  - ci: add a GitHub workflow to submit Coverity scans
> 
>  GitHub CI workflow has learned to trigger Coverity check.
> 
>  Looking good.
>  source: <pull.1588.v2.git.1695642662.gitgitgadget@gmail.com>

I think that has been sitting at "Looking good" for a few iterations. IMHO it is ready to progress, with the SQUASH applied on the final patch.

-Peff