{"push_id":1435189802,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"f2c7c17dd9727233819a7d8598cbffd7ad4a29e0","before":"0bdd01d8748b726217495f4742fba5a2adc75eea","commits":[{"sha":"f2c7c17dd9727233819a7d8598cbffd7ad4a29e0","author":{"name":"Dan Liew","email":"83a8ff37c44d688876396ac8ef90241df7a1f3c7@imperial.ac.uk"},"message":"Fix incorrect counter example line numbers for `synthetic/interval/interval_klee_bug`.","distinct":true,"url":"https://api.github.com/repos/delcypher/fp-benchmarks-imperial/commits/f2c7c17dd9727233819a7d8598cbffd7ad4a29e0"}]}
{"actor":{"display_login":"delcypher"}}