{"push_id":3074133377,"size":1,"distinct_size":1,"ref":"refs/heads/michkot-fix-ldv-regression-2","head":"30fe0150a29d38947e1a941bc39399017f788a6f","before":"39e9355b272da293dd5b80b5df429c2ea18cc569","commits":[{"sha":"30fe0150a29d38947e1a941bc39399017f788a6f","author":{"name":"michkot","email":"a9a1f3ef855865cb7af1b50acc160e6edeb61752@users.noreply.github.com"},"message":"Update rule57_ebda_blast_true-termination.c_true-unreach-call_1.i","distinct":true,"url":"https://api.github.com/repos/michkot/sv-benchmarks/commits/30fe0150a29d38947e1a941bc39399017f788a6f"}]}
{"actor":{"display_login":"michkot"}}