{"push_id":715857740,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"9491d62529cb35d2b0c7b967b50f29bad4ffe7b0","before":"a266c121344825f34a4beafbd02dc2dae1c6175c","commits":[{"sha":"09c76e87ecaa1e56b46c65b42cc28da9243294d5","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"chore(CMakeLists.txt): do not build dOp when BUILD_STATIC_BIN is used","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/09c76e87ecaa1e56b46c65b42cc28da9243294d5"},{"sha":"9491d62529cb35d2b0c7b967b50f29bad4ffe7b0","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"chore(CMakeLists.txt): use '-shared-libs.tar.gz' cpack postfix for shared libs","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/9491d62529cb35d2b0c7b967b50f29bad4ffe7b0"}]}