2082
72%
master: 73%

Ran 10 Jun 2024 02:36PM CUT

Jobs 1

Files 90

Run time 1min

Badge

Committed 10 Jun 2024 02:28PM CUT coverage: 71.774%. Remained the same

Build # 2082

Build Type

github

Committed by

Commit Message

Merge fbd8bf940 into 1ced6f23f

Run Details

9688 of 13498 relevant lines covered (71.77%)

3601.26 hits per line

ID	Job ID	Ran	Files	Coverage
1	2082.1	10 Jun 2024 02:36PM CUT	90	71.77	GitHub Action Run

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	99	19	4	15	52.0
22.22	src/xref2/utils.ml	55	18	4	14	767.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	23631.0