{"push_id":827151292,"size":1,"distinct_size":1,"ref":"refs/heads/string-render","head":"77e380f0d53e70b1023c4fa150716971643b7b8b","before":"2156209888648ae6765c82065e4a61a9f898cfbc","commits":[{"sha":"77e380f0d53e70b1023c4fa150716971643b7b8b","author":{"email":"bf69233cec2f73f0a1ffc95e093aa1128f09f568@microsoft.com","name":"Mikaël Mayer"},"message":"Added testcases/stringrender/BinaryTreeRender.scala and ListRender.scala","distinct":true,"url":"https://api.github.com/repos/MikaelMayer/leon/commits/77e380f0d53e70b1023c4fa150716971643b7b8b"}]}