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