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: '[email protected]'
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 <[email protected]>
Gerrit-Reviewer: Jenkins Builder
Gerrit-Reviewer: fixeria <[email protected]>
Gerrit-Reviewer: osmith <[email protected]>
Gerrit-MessageType: merged
