2521
73%
master: 73%

Ran 10 Nov 2024 04:16AM CUT

Jobs 1

Files 90

Run time 1min

Badge

Committed 10 Nov 2024 04:08AM CUT coverage: 73.035% (+0.02%) from 73.02%

Build # 2521

Build Type

github

Committed by

Commit Message

Merge 2d0487575 into 271a4e4b7

Run Details

10154 of 13903 relevant lines covered (73.03%)

3001.55 hits per line

Lines	Coverage	∆	File
4	69.44	6.94%	src/model/compat.ml
7	70.8	0.8%	src/xref2/shape_tools.ml

ID	Job ID	Ran	Files	Coverage
1	2521.1	10 Nov 2024 04:16AM CUT	90	73.03	GitHub Action Run

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
0.0	src/odoc/classify.ml	411	184	0	184	0.0
0.0	src/odoc/html_fragment.ml	59	23	0	23	0.0
1.75	src/html_support_files/odoc_html_support_files.ml	602	114	2	112	540.0
22.73	src/model/root.ml	114	22	5	17	52.0
24.62	src/xref2/cpath.ml	455	199	49	150	36769.0
27.03	src/xref2/errors.ml	391	148	40	108	21.0
33.33	src/odoc/or_error.ml	9	3	1	2	98.0
44.88	src/parser/token.ml	244	127	57	70	7.0
45.45	src/parser/compat.ml	32	11	5	6	79.0
49.15	src/model_desc/comment_desc.ml	189	59	29	30	230.0