{"push_id":667538167,"size":4,"distinct_size":4,"ref":"refs/heads/unstable","head":"203c5015c8522656ebaa3a0db02333a653f5949d","before":"c36df1c34ad09b6e7d95765b8698c46d4ffcc066","commits":[{"sha":"552bba2c8cef2a2cad1f2bb5f001dbc6cd107620","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"decongest critical section in lia2card-tactic\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/552bba2c8cef2a2cad1f2bb5f001dbc6cd107620"},{"sha":"014fb7f6b7b922738173994f79bd15a475f923ea","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"Merge branch 'unstable' of https://github.com/Z3Prover/z3 into unstable","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/014fb7f6b7b922738173994f79bd15a475f923ea"},{"sha":"c17fd2d516666ac475920c4620418f1af3ae553c","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"Merge branch 'unstable' of https://github.com/Z3Prover/z3 into unstable","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/c17fd2d516666ac475920c4620418f1af3ae553c"},{"sha":"203c5015c8522656ebaa3a0db02333a653f5949d","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"fix debian amd64 warnings\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/203c5015c8522656ebaa3a0db02333a653f5949d"}]}