ansible: build5-deb12build is also a coverity builder

Change-Id: Id9d35658197409bcaba3e267cab36d7aa2a28972
---
M ansible/hosts
1 file changed, 1 insertion(+), 0 deletions(-)


git pull ssh://gerrit.osmocom.org:29418/osmo-ci refs/changes/33/39333/1

diff --git a/ansible/hosts b/ansible/hosts
index 50ae603..514b01c 100644
--- a/ansible/hosts
+++ b/ansible/hosts
@@ -4,6 +4,7 @@
 
 [coverity_slaves]
 build4-deb12build-ansible ansible_host=2a01:4f8:121:200a::1:3
+build5-deb12build-ansible ansible_host=2a01:4f8:140:926a::1:3
 
 [jenkins_slaves]
 build4-deb12build-ansible ansible_host=2a01:4f8:121:200a::1:3 osmocom_jenkins_slave_fstrim=True docker_max_image_space="80 GB"

