xapi-project / xen-api / 10921661368

push

github

Update feature/perf from master (#6000)

There is a conflict in 'dune' files, have to make PR from fork to fix,
and I cannot edit the origin repo on the other PR.

1472 of 1582 new or added lines in 30 files covered. (93.05%)

3456 of 4415 relevant lines covered (78.28%)

0.78 hits per line