{"push_id":757573138,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"3de290db350a72c143f4f1ff9122a21318a7c1c2","before":"98bfb8467ad8ec7973c4560c56464898255587d0","commits":[{"sha":"52138b823299765af3f691de0bc58e7d699d2ee9","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"fix(CMakeLists): dylib generation","distinct":true,"url":"https://api.github.com/repos/leodemoura/lean/commits/52138b823299765af3f691de0bc58e7d699d2ee9"},{"sha":"3de290db350a72c143f4f1ff9122a21318a7c1c2","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"fix(tests/shared): include shared_test in the test suite","distinct":true,"url":"https://api.github.com/repos/leodemoura/lean/commits/3de290db350a72c143f4f1ff9122a21318a7c1c2"}]}