Re: [libvirt] [jenkins-ci PATCH 14/17] osinfo-db-tools: Build again on all machines