Completed
Push — master ( 340657...ed051f )
by
unknown
06:16
created
8.73
▶   ± 0
Head
jenkins-bot  
Merge "Merge (de)serialization of constraint/property scopes"
1 more commit
Base
jenkins-bot  
Merge "Add “property scope” constraint type"