{"push_id":691071465,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"711e9a1ef994935482bc83ff3795a94f637f0a04","before":"50a5d0d09656936fff68c98393b55e0a68e15a86","commits":[{"sha":"711e9a1ef994935482bc83ff3795a94f637f0a04","author":{"email":"3313117ab8ad19b6005009962f007193e79d3c52@gmail.com","name":"Regis Blanc"},"message":"test varargs constructors","distinct":true,"url":"https://api.github.com/repos/manoskouk/scala-smtlib/commits/711e9a1ef994935482bc83ff3795a94f637f0a04"}]}