{"push_id":823030244,"size":1,"distinct_size":1,"ref":"refs/heads/travis-test","head":"4ac88f0d4ecb16d6ee89d45eee8baca1a8680ed7","before":"88d356d278adfb301066ff88cb5b00cbec0803c9","commits":[{"sha":"4ac88f0d4ecb16d6ee89d45eee8baca1a8680ed7","author":{"email":"401bd629fff00cd029f70ffaa816cfeb73f9ea8b@gmail.com","name":"MikAnd"},"message":"Added caching","distinct":true,"url":"https://api.github.com/repos/pysmt/pysmt/commits/4ac88f0d4ecb16d6ee89d45eee8baca1a8680ed7"}]}