{"push_id":562227420,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"c48c5e497566fd36848c96b8a88b21ef1ee225dc","before":"66a06869989d4b80b9b0c2d60f382a1d92c54b2f","commits":[{"sha":"2403d555ee6219cf73d20c4d8b1d2d1a30a13537","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"test(tests/lean/bad_eqns): add tests for definition package error messages","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/2403d555ee6219cf73d20c4d8b1d2d1a30a13537"},{"sha":"7d9d89bae6523cea74a64d7661031d32044af580","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"test(tests/lean/extra): add test for saving recursive equation pre-terms","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/7d9d89bae6523cea74a64d7661031d32044af580"},{"sha":"c48c5e497566fd36848c96b8a88b21ef1ee225dc","author":{"email":"1b60d2ed7158736cbc1353d72a6dc44a6772147f@travis-ci.org","name":"Travis CI"},"message":"test(tests/lean/extra): add test for saving recursive equation pre-terms","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/c48c5e497566fd36848c96b8a88b21ef1ee225dc"}]}