{"push_id":865797673,"size":1,"distinct_size":1,"ref":"refs/heads/cegis","head":"f753a5433494eede97354fcf2f561529dc04785c","before":"100782c7939583e918316c9ec27bd474d31cde03","commits":[{"sha":"f753a5433494eede97354fcf2f561529dc04785c","author":{"email":"e3ece815db59ac53991a32a36d0662be7329e53e@dkr13.cs.ox.ac.uk","name":"pkesseli"},"message":"Fixed candidate serialisation issue.","distinct":true,"url":"https://api.github.com/repos/lianah/cbmc-cegis/commits/f753a5433494eede97354fcf2f561529dc04785c"}]}