diff options
author | Alexander Couzens <lynxis@fe80.eu> | 2018-03-27 19:55:47 +0200 |
---|---|---|
committer | Harald Welte <laforge@gnumonks.org> | 2018-04-05 19:58:51 +0000 |
commit | 0acdcdc220e76a069962c841a814a154ea70a1e3 (patch) | |
tree | b4c995bf13abf3d6ecdc1785ed9011cbefa0cec7 /ansible/setup-jenkins-slave.yml | |
parent | cb2c930723d3e5c30cf1fab0eac0e8a403645fd6 (diff) |
ansible: create a new group coverity-slaves to choose the target of coverity
Change-Id: I8b09ca50db938c5c7087a74e5d2575412a916ff6
Diffstat (limited to 'ansible/setup-jenkins-slave.yml')
-rw-r--r-- | ansible/setup-jenkins-slave.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/ansible/setup-jenkins-slave.yml b/ansible/setup-jenkins-slave.yml index 5963f6e..4ca7188 100644 --- a/ansible/setup-jenkins-slave.yml +++ b/ansible/setup-jenkins-slave.yml @@ -30,6 +30,10 @@ tags: - jenkins-slave +- name: setup coverity slaves + hosts: coverity-slaves + user: root + roles: - name: install-coverity tags: - coverity |