1525
73%

Ran 27 Sep 2023 11:18PM CUT

Jobs 1

Files 57

Run time 3s

Badge

Committed 27 Sep 2023 11:12PM CUT coverage: 63.256%. Remained the same

Build # 1525

Build Type

push

github

Committed by

Commit Message

Update CHANGES.md

Co-authored-by: panglesd <peada@free.fr>

Run Details

3858 of 6099 relevant lines covered (63.26%)

1584.67 hits per line

ID	Job ID	Ran	Files	Coverage
1	1525.1	27 Sep 2023 11:18PM CUT	57	63.26	GitHub Action Run

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
0.0	src/html/html_source.ml	71	35	0	35	0.0
0.0	src/odoc/or_error.ml	9	3	0	3	0.0
0.0	src/odoc/source_tree.ml	42	23	0	23	0.0
0.0	src/parser/token.ml	194	96	0	96	0.0
0.0	src/html/html_fragment_json.ml	82	30	0	30	0.0
0.0	src/odoc/html_fragment.ml	48	22	0	22	0.0
0.0	src/odoc/depends.ml	97	31	0	31	0.0
4.35	src/odoc/url.ml	56	23	1	22	248.0
5.0	src/odoc/support_files.ml	33	20	1	19	248.0
11.11	src/html/utils.ml	98	54	6	48	30362.0