Passed
Pull Request — master (#2234)
by Janko
14:36 queued 07:08
created
9.76
▶   ± 0
Test Coverage
38%
▲ +1%   –   Changes
Head
g5bot  
Merge 70209f3b9342b1ccd95afa77ff00207fd100643d into 8cd431c7c4c596665b86d86f2df9332287cb22bc
29 more commits
Base
g5bot  
skip initialization if not present