{"push_id":752733694,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"5544bf022475d5591cd6eb3835a72820c054e223","before":"a1fd28da55a841b02f1b2746de9e05b64eb5fcba","commits":[{"sha":"00582934ec563d5beaa34cba2160f21efaee1686","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"feat(CMakeLists.txt): update CXX_FLAGS_EMSCRIPTEN\n\nAdd: -O3 -s ALLOW_MEMORY_GROWTH=1 --llvm-lto 1\r\n\r\nClose leanprover/tutorial#96","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/00582934ec563d5beaa34cba2160f21efaee1686"},{"sha":"5544bf022475d5591cd6eb3835a72820c054e223","author":{"email":"1b60d2ed7158736cbc1353d72a6dc44a6772147f@travis-ci.org","name":"Travis CI"},"message":"feat(CMakeLists.txt): update CXX_FLAGS_EMSCRIPTEN","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/5544bf022475d5591cd6eb3835a72820c054e223"}]}