{"push_id":1202742260,"size":1,"distinct_size":1,"ref":"refs/heads/aisimplifier","head":"6c940ade87551fbbfeddbe030fecc01868e2147f","before":"caff234c0f546cc9762ec79ff8c131ae9a46a36c","commits":[{"sha":"6c940ade87551fbbfeddbe030fecc01868e2147f","author":{"name":"Lucas Cordeiro","email":"4dd9c304f91371e025ecf1053b5f81c642481199@cs.ox.ac.uk"},"message":"implement make clean for the Makefile in the goto-analyzer regression test\n\nSigned-off-by: Lucas Cordeiro <lucas.cordeiro@cs.ox.ac.uk>","distinct":true,"url":"https://api.github.com/repos/lucasccordeiro/cbmc/commits/6c940ade87551fbbfeddbe030fecc01868e2147f"}]}
{"actor":{"display_login":"lucasccordeiro"}}