{"push_id":2907342310,"size":2,"distinct_size":2,"ref":"refs/heads/cmake-install","head":"a78ec60140e375b5d09647e84aafb99090646177","before":"78c63054614a4839e82ffd9ec69fc09cc913516d","commits":[{"sha":"2069d956851667718c45353f41a3d4aa2b8e7c73","author":{"name":"Mathias Preiner","email":"fbbda48ecc68d81ba9fb848d00d3643c1a0baad3@gmail.com"},"message":"cmake: Exclude examples for coverage target. (#2535)","distinct":true,"url":"https://api.github.com/repos/aniemetz/CVC4/commits/2069d956851667718c45353f41a3d4aa2b8e7c73"},{"sha":"a78ec60140e375b5d09647e84aafb99090646177","author":{"name":"Aina Niemetz","email":"8203f31242aca4efc1e3fd605f21503f71cb3f19@gmail.com"},"message":"Merge branch 'master' into cmake-install","distinct":true,"url":"https://api.github.com/repos/aniemetz/CVC4/commits/a78ec60140e375b5d09647e84aafb99090646177"}]}
{"actor":{"display_login":"aniemetz"}}