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