{"push_id":837859479,"size":6,"distinct_size":6,"ref":"refs/heads/master","head":"18714e1ea4b3b4c8818f295d87eca770ff862a4b","before":"046f6f21d3a3eb2e5c956b0c6093b4d21c05343c","commits":[{"sha":"cb3e8395189bd4e6bad898f5f8be6b7c75ddd688","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/cb3e8395189bd4e6bad898f5f8be6b7c75ddd688"},{"sha":"5b312d97c6cbf5f5414e00d98d23da3b61016b11","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/5b312d97c6cbf5f5414e00d98d23da3b61016b11"},{"sha":"b89347f55d0ba165cf253ce06c777b995111ae5b","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/b89347f55d0ba165cf253ce06c777b995111ae5b"},{"sha":"1efd464da9666fc7d911d27b9e0925d6ba03f617","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/1efd464da9666fc7d911d27b9e0925d6ba03f617"},{"sha":"3b77f7eb2492de8e162b43fc5f6853c007dbd82f","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/3b77f7eb2492de8e162b43fc5f6853c007dbd82f"},{"sha":"18714e1ea4b3b4c8818f295d87eca770ff862a4b","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/18714e1ea4b3b4c8818f295d87eca770ff862a4b"}]}