67
70%
master: 73%

Ran 18 Nov 2020 05:17PM UTC

Jobs 1

Files 77

Run time 28s

Badge

Build # 67

Build Type

github

Committed by GitHub

Commit Message

Merge d00394354 into 87d9695ab

Run Details

246 of 246 new or added lines in 26 files covered. (100.0%)

7057 of 10108 relevant lines covered (69.82%)

886.94 hits per line

Lines	Coverage	∆	File
1	72.9	-0.23%	src/xref2/env.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	52.66	-0.13%	src/xref2/component.ml
4	94.95	-1.77%	src/parser/reference.ml
4	80.24	-0.48%	src/xref2/compile.ml
5	80.95	-2.38%	src/html/link.ml
6	37.5	-35.23%	src/model/root.ml
6	0.0	0.0%	src/odoc/html_fragment.ml
7	74.83	-3.43%	src/document/url.ml
9	85.5	-1.71%	src/xref2/ref_tools.ml
10	0.0	0.0%	src/odoc/odoc_link.ml
11	33.14	-1.83%	src/xref2/ident.ml
14	60.56	-3.61%	src/odoc/bin/main.ml
19	33.89	-0.84%	src/model/paths.ml
29	56.0	-27.33%	src/odoc/compile.ml

Lines	Coverage	∆	File
1	74.83	-3.43%	src/document/url.ml
1	0.0	0.0%	src/odoc/odoc_link.ml
1	85.5	-1.71%	src/xref2/ref_tools.ml
2	33.89	-0.84%	src/model/paths.ml
2	37.5	-35.23%	src/model/root.ml
3	33.14	-1.83%	src/xref2/ident.ml

ID	Job ID	Ran	Files	Coverage
1	67.1	18 Nov 2020 05:17PM UTC	77	69.82	GitHub Action Run