{"push_id":1059053622,"size":3,"distinct_size":1,"ref":"refs/heads/betterPropagate","head":"233b2c898e3d5870d6109692f391c0688df197c4","before":"a2b83c2491cc98327776f3055c8023d741cca09f","commits":[{"sha":"9ad66545e1ff0810554f75d4cd65d677a8db570c","author":{"email":"c1061e096d067442c5dd3f90c3aa537e774d27d0@zoho.com","name":"lmp47"},"message":"Benchmark on hwmcc10","distinct":false,"url":"https://api.github.com/repos/lmp47/ModelChecker/commits/9ad66545e1ff0810554f75d4cd65d677a8db570c"},{"sha":"76ed6e9f7ad2b821543a5a5b4c04f103ecd3bb5a","author":{"email":"c1061e096d067442c5dd3f90c3aa537e774d27d0@zoho.com","name":"lmp47"},"message":"No debug output version","distinct":false,"url":"https://api.github.com/repos/lmp47/ModelChecker/commits/76ed6e9f7ad2b821543a5a5b4c04f103ecd3bb5a"},{"sha":"233b2c898e3d5870d6109692f391c0688df197c4","author":{"email":"c1061e096d067442c5dd3f90c3aa537e774d27d0@zoho.com","name":"lmp47"},"message":"Fix","distinct":true,"url":"https://api.github.com/repos/lmp47/ModelChecker/commits/233b2c898e3d5870d6109692f391c0688df197c4"}]}