{"push_id":886116532,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"dbedd289c01703696ab2fe02ece75104326b7672","before":"d16c409ad1b55c04fe6722c4ecafe8f2ced514da","commits":[{"sha":"e406bbad53ed32c0c6ea5deee6a5df99e2136613","author":{"email":"f73373ed1a26a50ab84500f661b715ececc261b5@philippwendler.de","name":"Philipp Wendler"},"message":"Add some bigger integration tests for table-generator,\nand also test option --ignore-flapping-timeout-regressions.","distinct":true,"url":"https://api.github.com/repos/dbeyer/benchexec/commits/e406bbad53ed32c0c6ea5deee6a5df99e2136613"},{"sha":"dbedd289c01703696ab2fe02ece75104326b7672","author":{"email":"f73373ed1a26a50ab84500f661b715ececc261b5@philippwendler.de","name":"Philipp Wendler"},"message":"Rewrite calculation for regression counts.\nIt now operates row-wise, which is much easier than column-wise.","distinct":true,"url":"https://api.github.com/repos/dbeyer/benchexec/commits/dbedd289c01703696ab2fe02ece75104326b7672"}]}