GitHub PushEvent at 2014-12-11 22:47:37
Repository: kind2
Actor: AdrienChampion
Payload: {"shas":[["24962e1d4677524ad1953fbce0c56eaa6c9e9dc9","17a13435e94672b3e5ef1717a4ef158858e48fdb@email.com","Can now call invariant generation from anywhere with some candidates.","Adrien Champion",true]],"size":1,"ref":"refs/heads/feature_invGen-queries","head":"24962e1d4677524ad1953fbce0c56eaa6c9e9dc9"}