{"push_id":2316504782,"size":4,"distinct_size":4,"ref":"refs/heads/cid-1362899","head":"859752857d3b03f8fbff7b34fed52364092db267","before":"ac0aa384e5f7e29f3233dd16f7d179a46737bc95","commits":[{"sha":"e1390a20e15a11b93498a0f23453ea759775662a","author":{"name":"Andres Noetzli","email":"d37444924895fabce924c9900296ac1acbe5fe02@gmail.com"},"message":"Remove invalid regression test (#1579)","distinct":true,"url":"https://api.github.com/repos/timothy-king/CVC4/commits/e1390a20e15a11b93498a0f23453ea759775662a"},{"sha":"aa62cb849687985e499fe28ff18b62938b657e92","author":{"name":"Mathias Preiner","email":"8ea4fa12853687583b583519694ac65fcd759d94@gmail.com"},"message":"Check whether Cryptominisat4/ABC was installed via get-* script. (#1565)","distinct":true,"url":"https://api.github.com/repos/timothy-king/CVC4/commits/aa62cb849687985e499fe28ff18b62938b657e92"},{"sha":"312e94e4233244654f11218ef38cabb1c51c6f7d","author":{"name":"Aina Niemetz","email":"a3711de3a7e2da2a338d14325002d3cecca59ef7@gmail.com"},"message":"Simplify and cleanup bv::utils::mkConjunction. (#1571)","distinct":true,"url":"https://api.github.com/repos/timothy-king/CVC4/commits/312e94e4233244654f11218ef38cabb1c51c6f7d"},{"sha":"859752857d3b03f8fbff7b34fed52364092db267","author":{"name":"Andrew Reynolds","email":"1683003588f98781d463ba572209fd0d5da95e1b@gmail.com"},"message":"Merge branch 'master' into cid-1362899","distinct":true,"url":"https://api.github.com/repos/timothy-king/CVC4/commits/859752857d3b03f8fbff7b34fed52364092db267"}]}
{"actor":{"display_login":"ajreynol"}}