Change in osmo-ci[master]: jobs/coverity.yml: add parameter for git branch

osmith has submitted this change. ( https://gerrit.osmocom.org/c/osmo-ci/+/28580 ) Change subject: jobs/coverity.yml: add parameter for git branch ...................................................................... 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 --- M jobs/coverity.yml 1 file changed, 6 insertions(+), 1 deletion(-) Approvals: Jenkins Builder: Verified fixeria: Looks good to me, approved 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(a)osmocom.org' branches: - - 'origin/master' + - '$BRANCH' triggers: - timed: "@daily" publishers: -- To view, visit https://gerrit.osmocom.org/c/osmo-ci/+/28580 To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings Gerrit-Project: osmo-ci Gerrit-Branch: master Gerrit-Change-Id: I5f7c615ff5af4bf1f34ccef62767b5ca71cd2d8d Gerrit-Change-Number: 28580 Gerrit-PatchSet: 1 Gerrit-Owner: osmith <osmith(a)sysmocom.de> Gerrit-Reviewer: Jenkins Builder Gerrit-Reviewer: fixeria <vyanitskiy(a)sysmocom.de> Gerrit-Reviewer: osmith <osmith(a)sysmocom.de> Gerrit-MessageType: merged