2
59%
master: 59%

Ran 31 Oct 2019 09:54AM UTC

Files 25

Run time 2s

Badge

Committed 31 Oct 2019 09:50AM UTC coverage: 57.75% (-0.05%) from 57.798%

Build Type

push

travis-ci

Committed by

Commit Message

Lwt_main: don't call exit hooks if there are none

Part of #737.

Run Details

2444 of 4232 relevant lines covered (57.75%)

120.5 hits per line