Completed
Push — master ( 300483...3750c0 )
by
unknown
02:15
created

Changes

Good job, 1 issue was fixed.
8.06
▶   ± 0
Head
Thiemo Mättig  
Remove unused code and documentation from CheckConstraints
Base
jenkins-bot  
Merge "Replace CheckResult’s Context with ContextCursor"