diff options
author | Pau Espin Pedrol <pespin@sysmocom.de> | 2021-10-21 11:37:01 +0200 |
---|---|---|
committer | Pau Espin Pedrol <pespin@sysmocom.de> | 2021-10-25 11:06:48 +0200 |
commit | 2146640769cf491e73493aea703805e07e1c16bb (patch) | |
tree | ebfc971fcdbfb7d3d175de82309b962f209ec825 /ansible/roles/osmocom-workstation | |
parent | 1dcc508ce6f4799cf8f3d7b9a73ca031f6e1c2c0 (diff) |
Add osmo-hnodeb to ansible/jenkins/coverity setup
Change-Id: Ie4b03aefeda13d216706bd648145689cf2ef93bb
Diffstat (limited to 'ansible/roles/osmocom-workstation')
-rw-r--r-- | ansible/roles/osmocom-workstation/tasks/git-repos.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ansible/roles/osmocom-workstation/tasks/git-repos.yml b/ansible/roles/osmocom-workstation/tasks/git-repos.yml index d829892..edef6dd 100644 --- a/ansible/roles/osmocom-workstation/tasks/git-repos.yml +++ b/ansible/roles/osmocom-workstation/tasks/git-repos.yml @@ -36,6 +36,7 @@ - osmo-gsm-manuals - osmo-gtp-kernel - osmo-hlr + - osmo-hnodeb - osmo-iuh - osmo-mgw - osmo-msc |