mirror of https://gerrit.osmocom.org/osmo-ci
47 lines
1.4 KiB
YAML
47 lines
1.4 KiB
YAML
# Check if the coverity badge says "failed". This can happen for example if we
|
|
# use a coverity version that is no longer supported, and it doesn't fail in
|
|
# any other obvious way. (SYS#6685)
|
|
- project:
|
|
name: osmocom-coverity-status
|
|
jobs:
|
|
- osmocom-coverity-status
|
|
|
|
- job:
|
|
name: 'osmocom-coverity-status'
|
|
project-type: freestyle
|
|
defaults: global
|
|
description: |
|
|
Verify that the coverity badge says "passed" and not "failed" (SYS#6685).
|
|
<br>
|
|
<br>
|
|
<img src="https://scan.coverity.com/projects/7523/badge.svg">
|
|
builders:
|
|
- shell: |
|
|
coverity/badge_status.sh
|
|
publishers:
|
|
- email:
|
|
recipients: 'jenkins-notifications@lists.osmocom.org'
|
|
notify-every-unstable-build: true
|
|
properties:
|
|
- build-discarder:
|
|
days-to-keep: 30
|
|
num-to-keep: 30
|
|
parameters:
|
|
- string:
|
|
name: BRANCH
|
|
description: osmo-ci.git branch
|
|
default: 'origin/master'
|
|
scm:
|
|
- git:
|
|
url: https://gerrit.osmocom.org/osmo-ci
|
|
git-config-name: 'Jenkins Builder'
|
|
git-config-email: 'jenkins@osmocom.org'
|
|
branches:
|
|
- '$BRANCH'
|
|
triggers:
|
|
- timed: "H 06 * * *"
|
|
publishers:
|
|
- email:
|
|
notify-every-unstable-build: true
|
|
recipients: 'jenkins-notifications@lists.osmocom.org'
|