{"push_id":3129572636,"size":1,"distinct_size":1,"ref":"refs/heads/travis","head":"06f90d3ef8af3b0d78a9c84f80aeac6f67f2ca6c","before":"657a9ecb28414478ab2ff07943c18759d70c8ab3","commits":[{"sha":"06f90d3ef8af3b0d78a9c84f80aeac6f67f2ca6c","author":{"name":"Emilio Jesus Gallego Arias","email":"a1debd7f3d9036292773dd21463eb601946b38d8@x80.org"},"message":"[ci] Add preliminary Travis file.\n\nThis doesn't check the output yet but it should do the job. Fixes: #46\n\nWe had to fix the script due to opam bug\nhttps://github.com/ocaml/opam/issues/2767","distinct":true,"url":"https://api.github.com/repos/ejgallego/coq-bench/commits/06f90d3ef8af3b0d78a9c84f80aeac6f67f2ca6c"}]}
{"actor":{"display_login":"ejgallego"}}