Skip to content
Snippets Groups Projects
Erwan Jahier's avatar
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
d1b7972e
History