GitHub PushEvent at 2014-07-28 19:06:32
Repository: lean
Actor: leodemoura
Payload: {"shas":[["2b4bd660811743d6053b63d87f7f27b692a7f144","7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","feat(build): generate tests for all code blocks in org-files, and examples at ./examples/standard\n\nSigned-off-by: Leonardo de Moura <leonardo@microsoft.com>","Leonardo de Moura",true]],"size":1,"ref":"refs/heads/master","head":"2b4bd660811743d6053b63d87f7f27b692a7f144"}