{"push_id":1067803274,"size":1,"distinct_size":1,"ref":"refs/heads/travis","head":"564334b78e86d65cbd5fafd6b1ea6ab725254e69","before":"c71c50a12eac1e56cc9b55e652e019790abf5a9d","commits":[{"sha":"564334b78e86d65cbd5fafd6b1ea6ab725254e69","author":{"email":"dad13d57430f2600ee2a8095652534cd1415cc88@gmail.com","name":"Marco Gario"},"message":"Absolute path for CVC4","distinct":true,"url":"https://api.github.com/repos/pysmt/CVC4/commits/564334b78e86d65cbd5fafd6b1ea6ab725254e69"}]}