GitHub PushEvent at 2014-11-17 09:27:40
Repository: coq-bench.github.io
Actor: clarus
Payload: {"shas":[["8681fcc08ae3affda08cde830cf36f16a4201f62","34c6fceca75e456f25e7e99531e2425c6c1de443@clarus.me","dev stable","Guillaume Claret",true]],"size":1,"ref":"refs/heads/master","head":"8681fcc08ae3affda08cde830cf36f16a4201f62"}