{"push_id":2482022942,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"71f13e87b0488d4db2c2acd3751efe18b48b5237","before":"38d5460b437aef02efe37d5c76a3bca5bcb55f04","commits":[{"sha":"da71100abbdf578204fc1e581dce1eb0ca5b7a48","author":{"name":"Soonho Kong","email":"332bf40394a91383427826cc5771d0e8ab7c6c8b@tri.global"},"message":"bazel: Fix pybind ODR problem","distinct":true,"url":"https://api.github.com/repos/soonho-tri/dreal4/commits/da71100abbdf578204fc1e581dce1eb0ca5b7a48"},{"sha":"504b9457680adcb176eb16315fa9006969fcee9a","author":{"name":"Soonho Kong","email":"332bf40394a91383427826cc5771d0e8ab7c6c8b@tri.global"},"message":"feat(api/api_py.cc): Add API functions using Config class","distinct":true,"url":"https://api.github.com/repos/soonho-tri/dreal4/commits/504b9457680adcb176eb16315fa9006969fcee9a"},{"sha":"71f13e87b0488d4db2c2acd3751efe18b48b5237","author":{"name":"Soonho Kong","email":"332bf40394a91383427826cc5771d0e8ab7c6c8b@tri.global"},"message":"test(api): Add cav18_optimization_benchmark.py","distinct":true,"url":"https://api.github.com/repos/soonho-tri/dreal4/commits/71f13e87b0488d4db2c2acd3751efe18b48b5237"}]}
{"actor":{"display_login":"soonho-tri"}}