{"push_id":2852445051,"size":5,"distinct_size":1,"ref":"refs/heads/test-verification","head":"34be55fa43dfbfaa54e2514cbfb176f52b7681cf","before":"24743ffa3a5a32378d2c3efaca838e870e7db556","commits":[{"sha":"a8dd65176f8fd59b4a23eed242a99049a5107f26","author":{"name":"John Bergqvist","email":"ec75f488c19f2bf0372a00c98daac809c92bc958@diffblue.com"},"message":"Move universal CBMC args into each phase","distinct":false,"url":"https://api.github.com/repos/diffblue/ecommerce-demo/commits/a8dd65176f8fd59b4a23eed242a99049a5107f26"},{"sha":"73775802553a0b252b4204479ca7aec379fe0796","author":{"name":"John Bergqvist","email":"ec75f488c19f2bf0372a00c98daac809c92bc958@diffblue.com"},"message":"Don't reduce reflection for nightly analyses","distinct":false,"url":"https://api.github.com/repos/diffblue/ecommerce-demo/commits/73775802553a0b252b4204479ca7aec379fe0796"},{"sha":"194a5f82ea8a077e0a4348a71ec7597833daac14","author":{"name":"John Bergqvist","email":"ec75f488c19f2bf0372a00c98daac809c92bc958@diffblue.com"},"message":"Fix syntax errors in diffblue.yml","distinct":false,"url":"https://api.github.com/repos/diffblue/ecommerce-demo/commits/194a5f82ea8a077e0a4348a71ec7597833daac14"},{"sha":"63fa43e6f4d70bf0eba1f3b327ed2faa7c47bcd6","author":{"name":"John Bergqvist","email":"ec75f488c19f2bf0372a00c98daac809c92bc958@diffblue.com"},"message":"Tweak CBMC Arguments for shorter analysis","distinct":false,"url":"https://api.github.com/repos/diffblue/ecommerce-demo/commits/63fa43e6f4d70bf0eba1f3b327ed2faa7c47bcd6"},{"sha":"34be55fa43dfbfaa54e2514cbfb176f52b7681cf","author":{"name":"John Bergqvist","email":"3e2b818e8e100666f9eab015e59d68e948af9610@users.noreply.github.com"},"message":"Add JaCoCo Integration","distinct":true,"url":"https://api.github.com/repos/diffblue/ecommerce-demo/commits/34be55fa43dfbfaa54e2514cbfb176f52b7681cf"}]}
{"actor":{"display_login":"JohnBergqvist"}}