134
70%
master: 73%

Ran 26 Jan 2021 03:42PM UTC

Jobs 1

Files 77

Run time 27s

Badge

Build # 134

Build Type

github

Committed by GitHub

Commit Message

Merge dd1764929 into 999a9583b

Run Details

174 of 174 new or added lines in 17 files covered. (100.0%)

7026 of 10042 relevant lines covered (69.97%)

887.71 hits per line

Lines	Coverage	∆	File
1	80.0	-20.0%	src/model/lang.ml
1	58.14	0.17%	src/xref2/component.ml
2	34.02	0.22%	src/model/paths.ml
2	72.67	-0.23%	src/xref2/env.ml
2	82.82	0.04%	src/xref2/link.ml
2	65.54	-3.29%	src/xref2/subst.ml
10	81.46	0.92%	src/xref2/compile.ml
12	86.05	1.21%	src/document/generator.ml

Lines	Coverage	∆	File
1	34.02	0.22%	src/model/paths.ml
1	58.14	0.17%	src/xref2/component.ml
1	34.3	-0.58%	src/xref2/ident.ml
1	82.14	0.32%	src/xref2/type_of.ml
2	82.82	0.04%	src/xref2/link.ml
2	65.5	0.3%	src/xref2/tools.ml
4	81.46	0.92%	src/xref2/compile.ml
4	28.67	1.67%	src/xref2/cpath.ml
6	56.84	1.26%	src/xref2/lang_of.ml
7	86.05	1.21%	src/document/generator.ml
28	65.54	-3.29%	src/xref2/subst.ml

ID	Job ID	Ran	Files	Coverage
1	134.1	26 Jan 2021 03:42PM UTC	77	69.97	GitHub Action Run