{"push_id":3059955627,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"704329a22f376e83f5cd7633cf419618e71c9430","before":"131ee2690b3abe4d3ceedd81b6ec98950c910022","commits":[{"sha":"1ed44da6e7f61e4b425636446e93ceb70b08f272","author":{"name":"Jason Lipowicz","email":"283c597554b9169a61fe412218046ec9d3e7e0a0@imperial.ac.uk"},"message":"Add script to run integration tests","distinct":true,"url":"https://api.github.com/repos/icsofteng/iprove/commits/1ed44da6e7f61e4b425636446e93ceb70b08f272"},{"sha":"a246f220ba7c18d6c4602d7b41f5312474dfb416","author":{"name":"Jason Lipowicz","email":"283c597554b9169a61fe412218046ec9d3e7e0a0@imperial.ac.uk"},"message":"Use debian z3 file oncircleci","distinct":true,"url":"https://api.github.com/repos/icsofteng/iprove/commits/a246f220ba7c18d6c4602d7b41f5312474dfb416"},{"sha":"d75c50475de02a9f17400c80019ddd4031d600ce","author":{"name":"Jason Lipowicz","email":"283c597554b9169a61fe412218046ec9d3e7e0a0@imperial.ac.uk"},"message":"Don't use state in test file","distinct":true,"url":"https://api.github.com/repos/icsofteng/iprove/commits/d75c50475de02a9f17400c80019ddd4031d600ce"},{"sha":"704329a22f376e83f5cd7633cf419618e71c9430","author":{"name":"Jason Lipowicz","email":"283c597554b9169a61fe412218046ec9d3e7e0a0@imperial.ac.uk"},"message":"Run each proof as a separate test","distinct":true,"url":"https://api.github.com/repos/icsofteng/iprove/commits/704329a22f376e83f5cd7633cf419618e71c9430"}]}
{"actor":{"display_login":"jasonlipo"}}