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/hosts | |
parent | cb2c930723d3e5c30cf1fab0eac0e8a403645fd6 (diff) |
ansible: create a new group coverity-slaves to choose the target of coverity
Change-Id: I8b09ca50db938c5c7087a74e5d2575412a916ff6
Diffstat (limited to 'ansible/hosts')
-rw-r--r-- | ansible/hosts | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/ansible/hosts b/ansible/hosts index 27480e4..e809d03 100644 --- a/ansible/hosts +++ b/ansible/hosts @@ -4,8 +4,12 @@ # production 10.9.25.107 -[jenkins-slaves] +[coverity-slaves] admin2-deb9build ansible_host=2a01:4f8:13b:828::1:300 +build2-deb9build-ansible ansible_host=2a01:4f8:10b:2ad9::1:6 + +[jenkins-slaves] admin2-deb8build ansible_host=2a01:4f8:13b:828::1:400 +admin2-deb9build ansible_host=2a01:4f8:13b:828::1:300 build2-deb8build-ansible ansible_host=2a01:4f8:10b:2ad9::1:7 build2-deb9build-ansible ansible_host=2a01:4f8:10b:2ad9::1:6 |