# 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).
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'