diff options
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2023-09-25 11:51:00 +0000 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2023-09-25 10:12:49 -0700 |
| commit | d3c3ffa6249adce1f007ac43374cb540524fe767 (patch) | |
| tree | 3d44342286f987e8ed812979cf2e41cbc065a0b6 /builtin/commit-graph.c | |
| parent | 7bc49e8f553c0f76cccd142c33715ee8f1b15811 (diff) | |
coverity: support building on Windows
By adding the repository variable `ENABLE_COVERITY_SCAN_ON_OS` with a
value, say, `["windows-latest"]`, this GitHub workflow now runs on
Windows, allowing to analyze Windows-specific issues.
This allows, say, the Git for Windows fork to submit Windows builds to
Coverity Scan instead of Linux builds.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'builtin/commit-graph.c')
0 files changed, 0 insertions, 0 deletions