-
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
erwan authoredBecause 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