{"push_id":855020118,"size":1,"distinct_size":1,"ref":"refs/heads/typeclass","head":"88994a97a40db5498140bda4934e9319bb12a7fa","before":"74a13d171b04c5797c95c2813d5a0b9a65e886f3","commits":[{"sha":"88994a97a40db5498140bda4934e9319bb12a7fa","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"fix(library/blast/state): compilation problems in debug mode","distinct":true,"url":"https://api.github.com/repos/leodemoura/lean/commits/88994a97a40db5498140bda4934e9319bb12a7fa"}]}