]> git.ipfire.org Git - thirdparty/git.git/commit
projects / thirdparty / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7bc49e8) | patch
coverity: support building on Windows
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Mon, 25 Sep 2023 11:51:00 +0000 (11:51 +0000)
committerJunio C Hamano <gitster@pobox.com>
Mon, 25 Sep 2023 17:12:49 +0000 (10:12 -0700)
commitd3c3ffa6249adce1f007ac43374cb540524fe767
tree3d44342286f987e8ed812979cf2e41cbc065a0b6tree | snapshot
parent7bc49e8f553c0f76cccd142c33715ee8f1b15811commit | 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>
.github/workflows/coverity.yml diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.