2195
73%

Ran 15 Jul 2024 05:41PM CUT

Jobs 1

Files 90

Run time 1min

Badge

Committed 15 Jul 2024 05:33PM CUT coverage: 71.706% (-0.007%) from 71.713%

Build # 2195

Build Type

push

github

Committed by

Commit Message

Disable "big search path" test.

Was too brittle: too many false positive in CI

Signed-off-by: Paul-Elliot <peada@free.fr>

Run Details

9937 of 13858 relevant lines covered (71.71%)

3011.51 hits per line

Lines	Coverage	∆	File
1	83.47	-0.42%	src/odoc/resolver.ml

ID	Job ID	Ran	Files	Coverage
1	2195.1	15 Jul 2024 05:41PM CUT	90	71.71	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	35230.0
27.21	src/xref2/errors.ml	389	147	40	107	22.0 - 600
33.33	src/odoc/or_error.ml	9	3	1	2	242.0 - 2
35.62	src/model/fold.ml	137	73	26	47	15.0
44.03	src/xref2/ident.ml	373	134	59	75	23634.0 - 1.0