{"push_id":732466262,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"ae91267698160c111c3545070e0ba79bfb4ebb5e","before":"6c3bcc31b870bff73ab162630fd307ebbebcee97","commits":[{"sha":"95b598f474304e444347b944fcefaca314138ddd","author":{"email":"3d0f3b9ddcacec30c4008c5e030e6c13a478cb4f@d3s.mff.cuni.cz","name":"Jakub Daniel"},"message":"make the benchmarks even smaller","distinct":true,"url":"https://api.github.com/repos/d3sformal/panda/commits/95b598f474304e444347b944fcefaca314138ddd"},{"sha":"ae91267698160c111c3545070e0ba79bfb4ebb5e","author":{"email":"3d0f3b9ddcacec30c4008c5e030e6c13a478cb4f@d3s.mff.cuni.cz","name":"Jakub Daniel"},"message":"minor fix","distinct":true,"url":"https://api.github.com/repos/d3sformal/panda/commits/ae91267698160c111c3545070e0ba79bfb4ebb5e"}]}