1
92%
master: 93%

Ran 14 Dec 2019 06:54AM UTC

Files 475

Run time 23s

Badge

Committed 14 Dec 2019 06:54AM UTC coverage: 92.398% (+0.001%) from 92.397%

Build Type

push

github

Committed by Xuye (Chris) Qin

Commit Message

[BACKPORT] Kill process tree when terminating a worker process (#864) (#867)

Run Details

10030 of 11399 branches covered (87.99%)

Branch coverage included in aggregate %.

31731 of 33798 relevant lines covered (93.88%)

0.94 hits per line