Jenkins build is back to normal : libvirt-ocaml-check » libvirt-debian-10 #447