1
73%
master: 73%

Ran 05 Aug 2024 06:23PM CUT

Files 91

Run time 3s

Badge

Committed 05 Aug 2024 06:16PM CUT coverage: 71.811% (+0.02%) from 71.795%

Build Type

github

Committed by

Commit Message

Merge 6e7cbafc6 into 160931f43

Run Details

9994 of 13917 relevant lines covered (71.81%)

3003.62 hits per line

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
0.0	src/odoc/classify.ml	398	180	0	180	0.0
0.0	src/odoc/source_tree.ml	42	23	0	23	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	504.0
22.73	src/model/root.ml	110	22	5	17	45.0
25.24	src/xref2/cpath.ml	462	206	52	154	35231.0
27.03	src/xref2/errors.ml	391	148	40	108	20.0
33.33	src/odoc/or_error.ml	9	3	1	2	94.0
39.73	src/model/fold.ml	137	73	29	44	16.0
44.03	src/xref2/ident.ml	373	134	59	75	23639.0