From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 2 Nov 2023 07:53:14 +0000 (+0900)
Subject: Merge branch 'js/ci-coverity' into maint-2.42
X-Git-Tag: v2.42.1~51
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=31730a30a031b2954d1b670493fffc734cbe68cd;p=thirdparty%2Fgit.git

Merge branch 'js/ci-coverity' into maint-2.42

GitHub CI workflow has learned to trigger Coverity check.

* js/ci-coverity:
  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
---

31730a30a031b2954d1b670493fffc734cbe68cd