]> git.ipfire.org Git - thirdparty/git.git/commit
projects / thirdparty / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 6d68ab0 3349520)
Merge branch 'js/ci-coverity' into maint-2.42
authorJunio C Hamano <gitster@pobox.com>
Thu, 2 Nov 2023 07:53:14 +0000 (16:53 +0900)
committerJunio C Hamano <gitster@pobox.com>
Thu, 2 Nov 2023 07:53:14 +0000 (16:53 +0900)
commit31730a30a031b2954d1b670493fffc734cbe68cd
treedfb675fda39a5f54fda444d4067d2d90662636ebtree | snapshot
parent6d68ab0819b224091925ded34ecae00798738a9bcommit | diff
parent3349520e1a1ffd268347ec0ebb720830428f872ecommit | diff
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
Unnamed repository; edit this file 'description' to name the repository.