65
71%
master: 73%

Ran 18 Nov 2020 12:24PM UTC

Jobs 1

Files 77

Run time 10s

Badge

Build # 65

Build Type

github

Committed by GitHub

Commit Message

Merge 80c6256e8 into 8b0a6323d

Run Details

15 of 15 new or added lines in 4 files covered. (100.0%)

7033 of 9958 relevant lines covered (70.63%)

894.48 hits per line

Lines	Coverage	∆	File
1	64.16	0.0%	src/odoc/bin/main.ml
2	86.54	-2.35%	src/xref2/type_of.ml
6	65.31	16.82%	src/odoc/rendering.ml

ID	Job ID	Ran	Files	Coverage
1	65.1	18 Nov 2020 12:24PM UTC	77	70.63	GitHub Action Run