{"push_id":1040022801,"size":3,"distinct_size":1,"ref":"refs/heads/sss/dev","head":"fd8773b230aebc87f984a13a5e110e992cbfe13c","before":"5263c85f9d36d949a793234830f12760af01ab33","commits":[{"sha":"ed6ac4ed5f7926e352368257004462c9d3779284","author":{"email":"0f44fb736995b73f24ceae95170c483e8a73b995@gmail.com","name":"Suhail Shergill"},"message":"fixpoint: add spire to the project definition","distinct":false,"url":"https://api.github.com/repos/suhailshergill/predef/commits/ed6ac4ed5f7926e352368257004462c9d3779284"},{"sha":"47bcb2817d2dadaff73ee869471a40851f4d86e7","author":{"email":"0f44fb736995b73f24ceae95170c483e8a73b995@gmail.com","name":"Suhail Shergill"},"message":"fixpoint: add some tests which aren't slow","distinct":false,"url":"https://api.github.com/repos/suhailshergill/predef/commits/47bcb2817d2dadaff73ee869471a40851f4d86e7"},{"sha":"fd8773b230aebc87f984a13a5e110e992cbfe13c","author":{"email":"0f44fb736995b73f24ceae95170c483e8a73b995@gmail.com","name":"Suhail Shergill"},"message":"fixpoint: explicitly pass in Monad[T] implicit","distinct":true,"url":"https://api.github.com/repos/suhailshergill/predef/commits/fd8773b230aebc87f984a13a5e110e992cbfe13c"}]}