diff options
author | Oliver Smith <osmith@sysmocom.de> | 2022-07-12 14:00:10 +0200 |
---|---|---|
committer | Oliver Smith <osmith@sysmocom.de> | 2022-07-12 14:45:09 +0200 |
commit | e1540eee9ef7abdd848e1bbfbe3fb0fb8d52134f (patch) | |
tree | 04ca14769339a2ae918327b69dd45762a4cab31e | |
parent | ff94d1def5d0ef80573686c3ab28831426dfb6c0 (diff) |
jobs/coverity.yml: add parameter for git branch
Allow configuring a different git branch before starting the build. This
is especially useful to reproduce a failure that only happens when using
coverity tools during a build.
Change-Id: I5f7c615ff5af4bf1f34ccef62767b5ca71cd2d8d
-rw-r--r-- | jobs/coverity.yml | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/jobs/coverity.yml b/jobs/coverity.yml index 980c30c..cb39ea6 100644 --- a/jobs/coverity.yml +++ b/jobs/coverity.yml @@ -24,13 +24,18 @@ - 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: git://git.osmocom.org/osmo-ci git-config-name: 'Jenkins Builder' git-config-email: 'jenkins@osmocom.org' branches: - - 'origin/master' + - '$BRANCH' triggers: - timed: "@daily" publishers: |