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 | 6d68ab0819b224091925ded34ecae00798738a9b (diff) | |
| parent | 3349520e1a1ffd268347ec0ebb720830428f872e (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
Diffstat (limited to 'diff.c')
0 files changed, 0 insertions, 0 deletions