2352
72%
master: 73%

Ran 26 Aug 2024 07:55AM CUT

Jobs 1

Files 91

Run time 1min

Badge

Committed 26 Aug 2024 07:50AM CUT coverage: 72.479% (+0.03%) from 72.449%

Build # 2352

Build Type

github

Committed by

Commit Message

Merge d5f5da698 into a45c770b6

Run Details

12 of 15 new or added lines in 5 files covered. (80.0%)

9992 of 13786 relevant lines covered (72.48%)

3036.75 hits per line

Lines	Coverage	∆	File
3	0.0	0.0%	src/odoc/html_fragment.ml

ID	Job ID	Ran	Files	Coverage
1	2352.1	26 Aug 2024 07:55AM CUT	91	72.48	GitHub Action Run

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
0.0	src/odoc/html_fragment.ml	59 + 11	23 + 1	0	23 + 1	0.0
0.0	src/odoc/classify.ml	398	180	0	180	0.0
1.75	src/html_support_files/odoc_html_support_files.ml	602	114	2	112	468.0
22.73	src/model/root.ml	114 + 4	22	5	17	46.0 + 1.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	23638.0
45.45	src/parser/compat.ml	32	11	5	6	79.0