190
65%
master: 73%

Ran 22 Feb 2021 03:31PM UTC

Jobs 1

Files 71

Run time 20s

Badge

Build # 190

Build Type

github

Committed by GitHub

Commit Message

Merge 94c7be8ee into 148f0a12c

Run Details

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

6534 of 10007 relevant lines covered (65.29%)

869.33 hits per line

Lines	Coverage	∆	File
1	81.68	0.14%	src/xref2/link.ml

ID	Job ID	Ran	Files	Coverage
1	190.1	22 Feb 2021 03:31PM UTC	71	65.29	GitHub Action Run