+ - string:
+ name: SEARCH_PATHS
+ default: '{coverity-search-paths}'
+ description: >
+ Additional directories to search for files to analyse by Coverity
+ Scan service (space separated).
+ - string:
+ name: SEARCH_EXCLUDE_REGEXS
+ default: '{coverity-search-exclude-regexs}'
+ description: >
+ File path patterns to exclude from analysis by Coverity Scan
+ service (e.g. 3rd-party or auto-generated sources, space
+ separated).
+ - string:
+ name: COVERITY_USER_EMAIL
+ default: '{coverity-user-email}'
+ description: >
+ E-mail address to receive analysis status report after submittion.
+ It must be a registered user on Coverity Scan service added as a
+ member to appropriate Coverity Scan project with "Maintainer/Owner"
+ role.
+ - bool:
+ name: DRY_RUN
+ default: '{dry-run}'
+ description: Do not submit results to Coverity Scan server at the end of the build.
+ - string:
+ name: 'MAX_GIT_REPO_AGE_HOURS'
+ default: '{max-git-repo-age-hours}'
+ description: >
+ If set to non-zero run the code scan only if there were no git
+ repository commits last MAX_GIT_REPO_AGE_HOURS hours.
+ It makes sense to set the value twice the 'cron' interval for the
+ job (e.g. if 'cron: @daily', then MAX_GIT_REPO_AGE_HOURS=48)