{"push_id":1236168359,"size":1,"distinct_size":1,"ref":"refs/heads/fix_vm_state_prove_fn","head":"be2012b046c839e21c8e907e1de501454e8156da","before":"7ce2ad9216206195b43a7cdbfcb4937d2dfa881a","commits":[{"sha":"be2012b046c839e21c8e907e1de501454e8156da","author":{"name":"Daniel Selsam","email":"8f1d6bb0bd9093ce0d9331b3ca37599085cf96af@gmail.com"},"message":"fix(simplifier): do not get thread-local vm_state when invoking prove_fn","distinct":true,"url":"https://api.github.com/repos/dselsam/lean/commits/be2012b046c839e21c8e907e1de501454e8156da"}]}
{"actor":{"display_login":"dselsam"}}