diff options
| author | Junio C Hamano <gitster@pobox.com> | 2023-11-02 16:53:14 +0900 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2023-11-02 16:53:14 +0900 |
| commit | 31730a30a031b2954d1b670493fffc734cbe68cd (patch) | |
| tree | dfb675fda39a5f54fda444d4067d2d90662636eb /diff.c | |
| parent | Merge branch 'jk/test-lsan-denoise-output' into maint-2.42 (diff) | |
| parent | coverity: detect and report when the token or project is incorrect (diff) | |
| download | git-31730a30a031b2954d1b670493fffc734cbe68cd.tar.gz git-31730a30a031b2954d1b670493fffc734cbe68cd.zip | |
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
Diffstat (limited to 'diff.c')
0 files changed, 0 insertions, 0 deletions