Completed
Push — develop ( 8cb2fb...53e7d6 )
by Sergei
18s queued 13s
created

Changes

6 issues (1 minor, 5 unknown) were introduced.
9 issues were fixed.
6.78
▶   ± 0
Test Coverage
78%
▶ ±0%
Head
Sergei Morozov  
Merge pull request #2854 from Majkl578/strict-types
1 more commit
Base
Marco Pivetta  
Merge pull request #3498 from morozov/get-other-expr