]> git.ipfire.org Git - thirdparty/git.git/commit
projects / thirdparty / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: c70e7a3 3349520)
Merge branch 'js/ci-coverity'
authorJunio C Hamano <gitster@pobox.com>
Thu, 12 Oct 2023 19:18:27 +0000 (12:18 -0700)
committerJunio C Hamano <gitster@pobox.com>
Thu, 12 Oct 2023 19:18:27 +0000 (12:18 -0700)
commit4ae4c705775132ff7f782966d20fc2dac1795691
treee2eb9e33a2ebbfa1a9839da763098057fa2f7f49tree | snapshot
parentc70e7a3cfd403fb6d669d3be8fbe3d530d3d8329commit | diff
parent3349520e1a1ffd268347ec0ebb720830428f872ecommit | diff
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
Unnamed repository; edit this file 'description' to name the repository.