{"push_id":1694404146,"size":1,"distinct_size":1,"ref":"refs/heads/symeval","head":"98586c9e25d0aaf71a34d76ce276d0a96f027633","before":"ec7e4c44beba9535e453d4a6feabd41e40e48c41","commits":[{"sha":"98586c9e25d0aaf71a34d76ce276d0a96f027633","author":{"name":"Anish Tondwalkar","email":"d3a96072ce3a0ae663e068576e8a68aaf8e13265@archlinux.info"},"message":"Instantiate now fully in Fixpoint pipeline\n\nSerialize AxiomEnv through FInfo and bump fixpoint","distinct":true,"url":"https://api.github.com/repos/atondwal/liquidhaskell/commits/98586c9e25d0aaf71a34d76ce276d0a96f027633"}]}
{"actor":{"display_login":"atondwal"}}