133
70%
master: 73%

Ran 26 Jan 2021 03:12PM UTC

Jobs 1

Files 77

Run time 17s

Badge

Build # 133

Build Type

github

Committed by GitHub

Commit Message

Merge d8e79c7ee into 999a9583b

Run Details

58 of 58 new or added lines in 8 files covered. (100.0%)

6997 of 10002 relevant lines covered (69.96%)

875.6 hits per line

Lines	Coverage	∆	File
1	80.54	0.0%	src/xref2/compile.ml
1	82.78	0.0%	src/xref2/link.ml
2	34.25	0.45%	src/model/paths.ml
2	72.67	-0.23%	src/xref2/env.ml
11	86.13	1.28%	src/document/generator.ml

ID	Job ID	Ran	Files	Coverage
1	133.1	26 Jan 2021 03:12PM UTC	77	69.96	GitHub Action Run