
erwan
authored
Because currently, the docker image that builds the pages via the CI can not run odoc as it require a more recent dune version. It is because this image used opam 1 using opam 2 would fix this. will do latter
Name | Last commit | Last update |
---|---|---|
.. | ||
contributors | ||
styles | ||
users | ||
README.md | ||
README.org |