Completed
Push — master ( 0cd4d6...57d320 )
by
unknown
04:08
created

No notable changes

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

8.23
▶   ± 0
Head
jenkins-bot  
Merge "Add tests for two uncovered CheckResult methods"
1 more commit
Base
jenkins-bot  
Merge "Declare compatibility with Serialization 4.0.0"