tree 3d44342286f987e8ed812979cf2e41cbc065a0b6
parent 7bc49e8f553c0f76cccd142c33715ee8f1b15811
author Johannes Schindelin <johannes.schindelin@gmx.de> 1695642660 +0000
committer Junio C Hamano <gitster@pobox.com> 1695661969 -0700

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>