Completed
Push — master ( f09e1e...277d81 )
by
unknown
03:55 queued 01:25
created

Changes

2 issues (2 informational) were introduced.
1 new patch (Spacing) is available.
8.64
▶   ± 0
Head
jenkins-bot  
Merge "Prevent exception in checker for deleted items"
1 more commit
Base
jenkins-bot  
Merge "ValueTypeChecker: Handle unresolved redirects"