]> git.ipfire.org Git - thirdparty/git.git/commit
coverity: allow overriding the Coverity project
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Mon, 25 Sep 2023 11:50:59 +0000 (11:50 +0000)
committerJunio C Hamano <gitster@pobox.com>
Mon, 25 Sep 2023 17:12:49 +0000 (10:12 -0700)
commit7bc49e8f553c0f76cccd142c33715ee8f1b15811
tree9f432499bcb50a51f3fd15d6f514823dfec0fb16
parent002e5e9ad163f30e1664a2bf37e45097c8ab6be5
coverity: allow overriding the Coverity project

By default, the builds are submitted to the `git` project at
https://scan.coverity.com/projects/git.

The Git for Windows project would like to use this workflow, too,
though, and needs the builds to be submitted to the `git-for-windows`
Coverity project.

To that end, allow configuring the Coverity project name via the
repository variable, you guessed it, `COVERITY_PROJECT`. The default if
that variable is not configured or has an empty value is still `git`.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
.github/workflows/coverity.yml