{"push_id":604472851,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"36368502c4bbebc13765abf879c2e4df673c6ebb","before":"293cbbd2f38db509b50f64c6399e11b2710c58e8","commits":[{"sha":"36368502c4bbebc13765abf879c2e4df673c6ebb","author":{"email":"3313117ab8ad19b6005009962f007193e79d3c52@gmail.com","name":"Regis Blanc"},"message":"add more integration tests","distinct":true,"url":"https://api.github.com/repos/regb/scala-smtlib/commits/36368502c4bbebc13765abf879c2e4df673c6ebb"}]}