The deprecated opam depext was having issues installing odoc and its dependencies, which themselves depend on odoc to produce their documentation... Upgrading to the latest setup-ocaml github action allow us to remove this step as opam is able to install the depexts by itself.
clecat
commented
7 months ago
The deprecated
opam depextwas having issues installing odoc and its dependencies, which themselves depend on odoc to produce their documentation... Upgrading to the latestsetup-ocamlgithub action allow us to remove this step as opam is able to install the depexts by itself.