{"push_id":602425407,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"54b9df2b7938955466084493a3443979ace1cb98","before":"bccee693cc9408210b906434bb2b7282b2e0c361","commits":[{"sha":"54b9df2b7938955466084493a3443979ace1cb98","author":{"email":"bc9800b9d52a24cce72a73dd528afed53f10e5fc@ramaciotti.com","name":"Andre Ramaciotti da Silva"},"message":"Semantic tests refactoring","distinct":true,"url":"https://api.github.com/repos/ramaciotti/dependent-types/commits/54b9df2b7938955466084493a3443979ace1cb98"}]}