{"push_id":673489536,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"39b965c409cec68054d396d03f0e52ac2e7e47d9","before":"124d1c9c07ec4ec9a6696551d1336e401d83045f","commits":[{"sha":"39b965c409cec68054d396d03f0e52ac2e7e47d9","author":{"email":"dad13d57430f2600ee2a8095652534cd1415cc88@gmail.com","name":"Marco Gario"},"message":"disabling artifacts + increasing confs","distinct":true,"url":"https://api.github.com/repos/marcogario/pysmt/commits/39b965c409cec68054d396d03f0e52ac2e7e47d9"}]}