{"push_id":604556428,"size":1,"distinct_size":1,"ref":"refs/heads/desugar","head":"ece1af8e0ffcda5eaa658e3412966a0c5722f4fd","before":"069204f63199d87fee4e4f952f267f417f7d0844","commits":[{"sha":"ece1af8e0ffcda5eaa658e3412966a0c5722f4fd","author":{"email":"f1df6bd8daa2518058df14df5718266f760f8062@gmail.com","name":"Romain Ruetschi"},"message":"Generate Any1 wrapper for every defined case class.","distinct":true,"url":"https://api.github.com/repos/romac/leon/commits/ece1af8e0ffcda5eaa658e3412966a0c5722f4fd"}]}