mirror of
https://github.com/git/git.git
synced 2024-09-28 08:49:45 +02:00
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>
This commit is contained in:
parent
002e5e9ad1
commit
7bc49e8f55
5
.github/workflows/coverity.yml
vendored
5
.github/workflows/coverity.yml
vendored
@ -11,6 +11,9 @@ name: Coverity
|
||||
# `COVERITY_SCAN_EMAIL` and `COVERITY_SCAN_TOKEN`. The former specifies the
|
||||
# email to which the Coverity reports should be sent and the latter can be
|
||||
# obtained from the Project Settings tab of the Coverity project).
|
||||
#
|
||||
# By default, the builds are submitted to the Coverity project `git`. To override this,
|
||||
# set the repository variable `COVERITY_PROJECT`.
|
||||
|
||||
on:
|
||||
push:
|
||||
@ -20,7 +23,7 @@ jobs:
|
||||
if: contains(fromJSON(vars.ENABLE_COVERITY_SCAN_FOR_BRANCHES || '[""]'), github.ref_name)
|
||||
runs-on: ubuntu-latest
|
||||
env:
|
||||
COVERITY_PROJECT: git
|
||||
COVERITY_PROJECT: ${{ vars.COVERITY_PROJECT || 'git' }}
|
||||
COVERITY_LANGUAGE: cxx
|
||||
COVERITY_PLATFORM: linux64
|
||||
steps:
|
||||
|
Loading…
Reference in New Issue
Block a user