Completed
Push — 2.0 ( 33bb83...14462a )
by Peter
07:18 queued 16s
created
9.79
▶   ± 0
Head
Peter Gribanov  
Merge pull request #292 from peter-gribanov/new_operator
1 more commit
Base
Peter Gribanov  
Merge pull request #291 from peter-gribanov/satisfiable_context