Completed
Push — master ( c8faac...3dc0da )
by
unknown
04:36 queued 01:58
created

No notable changes

There were no notable changes in the changeset which was inspected.

8.25
▶   ± 0
Head
jenkins-bot  
Merge "Remove unused message"
1 more commit
Base
jenkins-bot  
Merge "Improve TypeCheckerHelperTest function names"