{"push_id":2848750793,"size":1,"distinct_size":1,"ref":"refs/heads/dune+odoc","head":"c3d69f29161502f40211b99495daffd60a27a500","before":"3ba8156af76380a9a43f588d17a093ac58b7d065","commits":[{"sha":"c3d69f29161502f40211b99495daffd60a27a500","author":{"name":"Emilio Jesus Gallego Arias","email":"a1debd7f3d9036292773dd21463eb601946b38d8@x80.org"},"message":"[dune] Add apidoc target using `odoc`\n\nWe build the `@doc` target in the `dune` job:\n\n- The documentation can be found in `_build/default/_doc/`\n- We had to fix a couple of quoting problems.","distinct":true,"url":"https://api.github.com/repos/ejgallego/coq/commits/c3d69f29161502f40211b99495daffd60a27a500"}]}
{"actor":{"display_login":"ejgallego"}}