38
71%
master: 73%

Ran 24 Oct 2020 05:24PM UTC

Jobs 1

Files 75

Run time 6s

Badge

Build # 38

Build Type

github

Committed by GitHub

Commit Message

Merge 08b4900cc into e4541a3bc

Run Details

21 of 21 new or added lines in 6 files covered. (100.0%)

6919 of 9945 relevant lines covered (69.57%)

893.54 hits per line

Lines	Coverage	∆	File
1	22.37	5.04%	src/xref2/errors.ml
2	80.71	-0.18%	src/xref2/compile.ml
2	51.11	0.0%	src/xref2/expand_tools.ml
2	88.89	0.0%	src/xref2/type_of.ml
4	52.79	0.61%	src/xref2/component.ml
7	64.81	-0.25%	src/xref2/tools.ml

ID	Job ID	Ran	Files	Coverage
1	38.1	24 Oct 2020 05:24PM UTC	75	69.57	GitHub Action Run