GitHub PushEvent at 2014-05-17 17:40:32
Repository: lean
Actor: leodemoura
Payload: {"shas":[["9f06cd553e6bb237f4312b4b4b31206a538926e4","7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","test(lean): remove tests using Lean old syntax and kernel\n\nSigned-off-by: Leonardo de Moura <leonardo@microsoft.com>","Leonardo de Moura",true]],"size":1,"ref":"refs/heads/master","head":"9f06cd553e6bb237f4312b4b4b31206a538926e4"}