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