diff options
| author | Junio C Hamano <gitster@pobox.com> | 2023-10-12 12:18:27 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2023-10-12 12:18:27 -0700 |
| commit | 4ae4c705775132ff7f782966d20fc2dac1795691 (patch) | |
| tree | e2eb9e33a2ebbfa1a9839da763098057fa2f7f49 /builtin/commit-graph.c | |
| parent | Merge branch 'jm/git-status-submodule-states-docfix' (diff) | |
| parent | coverity: detect and report when the token or project is incorrect (diff) | |
| download | git-4ae4c705775132ff7f782966d20fc2dac1795691.tar.gz git-4ae4c705775132ff7f782966d20fc2dac1795691.zip | |
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
Diffstat (limited to 'builtin/commit-graph.c')
0 files changed, 0 insertions, 0 deletions