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 | c70e7a3cfd403fb6d669d3be8fbe3d530d3d8329 (diff) | |
| parent | 3349520e1a1ffd268347ec0ebb720830428f872e (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
Diffstat (limited to 'builtin/commit-graph.c')
0 files changed, 0 insertions, 0 deletions