{"push_id":756386778,"size":6,"distinct_size":6,"ref":"refs/heads/master","head":"0fed74f76348f68641991b6e1b9e7836f7fe448c","before":"79ea67b745b097e3c9334683f0e3c0bcb9bdb7dc","commits":[{"sha":"e58429d53af788d5b487ddcfb344d3b640235d4f","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/e58429d53af788d5b487ddcfb344d3b640235d4f"},{"sha":"d59a4e6d3c8b96482840cff662575b3c09ab2c81","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/d59a4e6d3c8b96482840cff662575b3c09ab2c81"},{"sha":"64c87e2e76f8af192d3ce5bd1b056b05694c90c0","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/64c87e2e76f8af192d3ce5bd1b056b05694c90c0"},{"sha":"cc1635f960d8b4202d66671967af334b67947809","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/cc1635f960d8b4202d66671967af334b67947809"},{"sha":"63daf803821fd59d38594a24ee87b63e3dea1daf","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/63daf803821fd59d38594a24ee87b63e3dea1daf"},{"sha":"0fed74f76348f68641991b6e1b9e7836f7fe448c","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/0fed74f76348f68641991b6e1b9e7836f7fe448c"}]}