GitHub PushEvent at 2014-11-26 10:04:31
Repository: cakeml
Actor: xrchz
Payload: {"shas":[["b995cd1b700ac97f59fe33685207b0c4435d1002","9ac2907b163c1922684cadd0b600a8d457468863@cl.cam.ac.uk","little bit more of type_pe_determ_infer_e","Ramana Kumar",true]],"size":1,"ref":"refs/heads/master","head":"b995cd1b700ac97f59fe33685207b0c4435d1002"}