{"push_id":1778903464,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c0ca64e49f524eb0f000f229b8d11cfcbadb0f54","before":"59eee4eeefc8adb1d057b8f19c71fc08cefc012b","commits":[{"sha":"c0ca64e49f524eb0f000f229b8d11cfcbadb0f54","author":{"name":"Marko Tintor","email":"1d51a2475f70086fbbf7b0a5950bd0ee7cbc0d06@gmail.com"},"message":"Added PI-corral pruning!\nSolver now has cpu time limit instead of node and speed limits.\nAdded cache lookup for isGoalZoneDeadlock\nAdded Bipartite Matching deadlock checker.\noriginal:10 is now solvable!\nAdded 2x3 and tunnel deadlock pattern checker.\nOption to skip levels in Solver.","distinct":true,"url":"https://api.github.com/repos/tintor/Workspace/commits/c0ca64e49f524eb0f000f229b8d11cfcbadb0f54"}]}
{"actor":{"display_login":"tintor"}}