Completed
Push — 2.0 ( 3fe951...5877a9 )
by Peter
07:19 queued 12s
created
9.83
▼   -0.06
Head
Peter Gribanov  
Merge pull request #278 from peter-gribanov/trim_function
1 more commit
Base
Peter Gribanov  
Merge pull request #273 from peter-gribanov/satisfiable