On Wed, Oct 04, 2023 at 04:45:34PM -0700, Junio C Hamano wrote: > * 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@xxxxxxxxx> 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