1
72%
master: 73%

Ran 03 Jul 2024 07:32AM CUT

Files 91

Run time 2s

Badge

Committed 03 Jul 2024 07:24AM CUT coverage: 71.946% (+0.2%) from 71.774%

Build Type

github

Committed by

Commit Message

Merge d7cfb3832 into 7e1e6ac92

Run Details

9835 of 13670 relevant lines covered (71.95%)

3555.77 hits per line

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
0.0	src/odoc/classify.ml	397	180	0	180	0.0
0.0	src/odoc/html_fragment.ml	48	22	0	22	0.0
1.75	src/html_support_files/odoc_html_support_files.ml	602	114	2	112	468.0
21.05	src/model/root.ml	101 + 2	19	4	15	54.0 + 2
22.22	src/xref2/utils.ml	55	18	4	14	769.0
25.0	src/xref2/errors.ml	333	124	31	93	794.0
25.12	src/xref2/cpath.ml	463	207	52	155	35230.0
33.33	src/odoc/or_error.ml	9	3	1	2	22.0
35.62	src/model/fold.ml	144	73	26	47	14.0
44.03	src/xref2/ident.ml	373	134	59	75	23633.0 + 1.0