{"push_id":853370022,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"fc262418e796a26a903c32b6a3745e1780bdfc76","before":"5f9444b63c43bee261086010d321e73226e93d4a","commits":[{"sha":"577e03968566166d36324a533bf501293b2efdac","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"feat(library/blast/blast): automatically clear tmp_type_context at recycling time","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/577e03968566166d36324a533bf501293b2efdac"},{"sha":"7e95e3033ba6e0ab2c24401072ec7b6d2f4fc87e","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"feat(library/blast/blast): add blast::internalize","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/7e95e3033ba6e0ab2c24401072ec7b6d2f4fc87e"},{"sha":"fc262418e796a26a903c32b6a3745e1780bdfc76","author":{"email":"1b60d2ed7158736cbc1353d72a6dc44a6772147f@travis-ci.org","name":"Travis CI"},"message":"feat(library/blast/blast): add blast::internalize","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/fc262418e796a26a903c32b6a3745e1780bdfc76"}]}