2241
72%
master: 73%

Ran 25 Jul 2024 01:28PM CUT

Jobs 1

Files 90

Run time 1min

Badge

Committed 25 Jul 2024 01:20PM CUT coverage: 71.87%. Remained the same

Build # 2241

Build Type

github

Committed by

Commit Message

Merge 3c898078e into 0f6d94ad8

Run Details

9941 of 13832 relevant lines covered (71.87%)

3021.18 hits per line

ID	Job ID	Ran	Files	Coverage
1	2241.1	25 Jul 2024 01:28PM CUT	90	71.87	GitHub Action Run

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
0.0	src/odoc/html_fragment.ml	48	22	0	22	0.0
0.0	src/odoc/source_tree.ml	42	23	0	23	0.0
0.0	src/odoc/classify.ml	397	180	0	180	0.0
1.75	src/html_support_files/odoc_html_support_files.ml	602	114	2	112	504.0
21.05	src/model/root.ml	101	19	4	15	56.0
25.12	src/xref2/cpath.ml	463	207	52	155	35231.0
27.21	src/xref2/errors.ml	389	147	40	107	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 + 1.0