{"push_id":1065107200,"size":1,"distinct_size":1,"ref":"refs/heads/single","head":"4b66fe09cd9c834378cc95cd2ca05450ab5e98e4","before":"e02740ca692c0af82530d4f073f71bbc748f6f59","commits":[{"sha":"4b66fe09cd9c834378cc95cd2ca05450ab5e98e4","author":{"email":"99edc950d933e070babd6b06d8b3f502ee2e0cc4@runtimeverification.com","name":"Manasvi Saxena"},"message":"fix to tests","distinct":true,"url":"https://api.github.com/repos/msaxena2/svcomp-runner/commits/4b66fe09cd9c834378cc95cd2ca05450ab5e98e4"}]}