{"push_id":821237932,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"9833e6635f6b5bee825034715d15ad73e9955a88","before":"e253094f6b4ade626813a3d500d86785e5dde138","commits":[{"sha":"9833e6635f6b5bee825034715d15ad73e9955a88","author":{"email":"584ea73fef92153b8040a1e09162219e490f6284@gmail.com","name":"Liana Hadarean"},"message":"Temporary reverting commit 477e72b (proofs as default build) until we fix nightly builds.","distinct":true,"url":"https://api.github.com/repos/CVC4/CVC4/commits/9833e6635f6b5bee825034715d15ad73e9955a88"}]}