2018-02-06 14:25:16 +00:00
|
|
|
# compile and upload osmocom with coverity tools
|
|
|
|
- project:
|
|
|
|
name: osmocom-coverity
|
|
|
|
jobs:
|
|
|
|
- osmocom-coverity
|
|
|
|
|
|
|
|
- job:
|
|
|
|
name: 'osmocom-coverity'
|
|
|
|
project-type: freestyle
|
|
|
|
defaults: global
|
|
|
|
description: 'Generated by job-builder'
|
|
|
|
node: coverity
|
|
|
|
builders:
|
|
|
|
- shell: |
|
2022-07-12 11:54:52 +00:00
|
|
|
cd coverity
|
2018-02-06 14:25:16 +00:00
|
|
|
export PATH=$PATH:/opt/coverity/current/bin
|
|
|
|
./jenkins.sh
|
|
|
|
publishers:
|
|
|
|
- email:
|
2022-07-12 11:52:56 +00:00
|
|
|
recipients: 'jenkins-notifications@lists.osmocom.org'
|
2018-02-06 14:25:16 +00:00
|
|
|
notify-every-unstable-build: true
|
|
|
|
properties:
|
|
|
|
- build-discarder:
|
|
|
|
days-to-keep: 30
|
|
|
|
num-to-keep: 30
|
2022-07-12 12:00:10 +00:00
|
|
|
parameters:
|
|
|
|
- string:
|
|
|
|
name: BRANCH
|
|
|
|
description: osmo-ci.git branch
|
|
|
|
default: 'origin/master'
|
2018-02-06 14:25:16 +00:00
|
|
|
scm:
|
|
|
|
- git:
|
2022-06-18 09:54:15 +00:00
|
|
|
url: https://gerrit.osmocom.org/osmo-ci
|
2018-02-06 14:25:16 +00:00
|
|
|
git-config-name: 'Jenkins Builder'
|
|
|
|
git-config-email: 'jenkins@osmocom.org'
|
2018-09-18 12:27:42 +00:00
|
|
|
branches:
|
2022-07-12 12:00:10 +00:00
|
|
|
- '$BRANCH'
|
2018-02-06 14:25:16 +00:00
|
|
|
triggers:
|
|
|
|
- timed: "@daily"
|
2019-03-03 15:00:57 +00:00
|
|
|
publishers:
|
|
|
|
- email:
|
|
|
|
notify-every-unstable-build: true
|
|
|
|
recipients: 'jenkins-notifications@lists.osmocom.org'
|
2018-02-06 14:25:16 +00:00
|
|
|
|
|
|
|
# vim: expandtab tabstop=2 shiftwidth=2
|