{"push_id":645518873,"size":1,"distinct_size":1,"ref":"refs/heads/msat_partial_models","head":"14f256800b54275d62b369c815b0c2a59cf04560","before":"ae9366b23959640ff2844eb878c1c9e520a9da9f","commits":[{"sha":"14f256800b54275d62b369c815b0c2a59cf04560","author":{"email":"401bd629fff00cd029f70ffaa816cfeb73f9ea8b@gmail.com","name":"MikAnd"},"message":"Fixed failing test","distinct":true,"url":"https://api.github.com/repos/pysmt/pysmt/commits/14f256800b54275d62b369c815b0c2a59cf04560"}]}