{"push_id":759848112,"size":6,"distinct_size":6,"ref":"refs/heads/master","head":"4e4399d5e631ad6a2d16490a336210191339d33a","before":"9569267b6fe8abb54ced110c99108a767c5ceaf6","commits":[{"sha":"c598633b0fad7caf1d029b0c15f3c53db5590007","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/c598633b0fad7caf1d029b0c15f3c53db5590007"},{"sha":"697f2f832fdecd55fbc747c694fdd57e399d12ce","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/697f2f832fdecd55fbc747c694fdd57e399d12ce"},{"sha":"6f6f86ea801f8b04d4b9cf48980507101c682a57","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/6f6f86ea801f8b04d4b9cf48980507101c682a57"},{"sha":"c328684bada0da19cd7993eb586c5c3c2b036803","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/c328684bada0da19cd7993eb586c5c3c2b036803"},{"sha":"b6b4346b8729adb98e707055347e25d2415db862","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/b6b4346b8729adb98e707055347e25d2415db862"},{"sha":"4e4399d5e631ad6a2d16490a336210191339d33a","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/4e4399d5e631ad6a2d16490a336210191339d33a"}]}