From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 12 Oct 2023 19:18:27 +0000 (-0700)
Subject: Merge branch 'js/ci-coverity'
X-Git-Tag: v2.43.0-rc0~42
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4ae4c705775132ff7f782966d20fc2dac1795691;p=thirdparty%2Fgit.git

Merge branch 'js/ci-coverity'

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
---

4ae4c705775132ff7f782966d20fc2dac1795691