102
70%
master: 73%

Ran 05 Jan 2021 05:40PM UTC

Jobs 1

Files 77

Run time 25s

Badge

Build # 102

Build Type

github

Committed by GitHub

Commit Message

Merge a876edde0 into 24a13cef0

Run Details

273 of 273 new or added lines in 27 files covered. (100.0%)

7151 of 10186 relevant lines covered (70.2%)

883.04 hits per line

Lines	Coverage	∆	File
1	72.9	-0.23%	src/xref2/env.ml
1	16.49	-0.17%	src/xref2/errors.ml
2	83.93	-0.19%	src/document/generator.ml
2	75.0	-5.0%	src/manpage/link.ml
2	96.41	-1.14%	src/parser/semantics.ml
3	86.83	-0.25%	src/latex/generator.ml
3	58.18	-0.14%	src/xref2/component.ml
3	83.46	-0.66%	src/xref2/link.ml
4	80.48	-0.49%	src/xref2/compile.ml
5	80.95	-2.38%	src/html/link.ml
5	94.52	-2.21%	src/parser/reference.ml
6	37.5	-35.23%	src/model/root.ml
6	0.0	0.0%	src/odoc/html_fragment.ml
6	75.0	-20.45%	src/parser/odoc_parser.ml
7	74.83	-3.43%	src/document/url.ml
11	34.88	-1.93%	src/xref2/ident.ml
12	85.09	-2.13%	src/xref2/ref_tools.ml
14	60.56	-3.61%	src/odoc/bin/main.ml
19	33.89	-0.84%	src/model/paths.ml
47	45.74	-37.59%	src/odoc/compile.ml

Lines	Coverage	∆	File
1	74.83	-3.43%	src/document/url.ml
1	0.0	0.0%	src/odoc/html_fragment.ml
2	33.89	-0.84%	src/model/paths.ml
2	37.5	-35.23%	src/model/root.ml
3	34.88	-1.93%	src/xref2/ident.ml

ID	Job ID	Ran	Files	Coverage
1	102.1	05 Jan 2021 05:40PM UTC	77	70.2	GitHub Action Run