{"push_id":1175667754,"size":1,"distinct_size":1,"ref":"refs/heads/serapi","head":"1b07786b81745793ff9058f5239d813edf764b27","before":"5038ac56f3076bdfc0c5b236bed37235cfc60b3f","commits":[{"sha":"1b07786b81745793ff9058f5239d813edf764b27","author":{"name":"Emilio Jesus Gallego Arias","email":"74bd03b9fa5ba9425c7ecadbbbb4d58aa6999825@x80.org"},"message":"Build: 4dd93fd/50efcc2\n\n+ coq: [parsing] `Compute e` is Cbv instead of CbvVm.\n  50efcc2faa7a0e1a6c158bda11fd7db734966bed\n+ serapi: [doc] [build] Update comment on bytecode cost.\n  4dd93fd4c612388f1f103b6f75a4aaca7a626741","distinct":true,"url":"https://api.github.com/repos/ejgallego/jscoq-builds/commits/1b07786b81745793ff9058f5239d813edf764b27"}]}
{"actor":{"display_login":"ejgallego"}}