ansible: build5-deb12build is also a coverity builder

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

diff --git a/ansible/hosts b/ansible/hosts
index d3c59d6..57966d3 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="50 GB"

