{"push_id":664973398,"size":2,"distinct_size":2,"ref":"refs/heads/unstable","head":"93f55605a8b9e30af5e96f040a4dacb2d9bbe1e9","before":"1702a55018e8e9b2b7b1b5a7c583918b912da4fd","commits":[{"sha":"0e32c87dc385d086382227b1b9470fa0b750b4a0","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"fix examples and C++ API - build failure\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/0e32c87dc385d086382227b1b9470fa0b750b4a0"},{"sha":"93f55605a8b9e30af5e96f040a4dacb2d9bbe1e9","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"fix examples and C++ API - build failure\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/93f55605a8b9e30af5e96f040a4dacb2d9bbe1e9"}]}