Closed Zzull closed 2 years ago
https://github.com/ocsigen/ocsigenserver/runs/3653333802 and https://github.com/ocsigen/ocsigenserver/runs/3653336095 are failing for unrelated reasons. Apparently opam depext
and opam install
aren't in sync sometimes. In this case, opam install
is asking for libgdbm-dev
which hasn't been detected by opam depext
as a dependency
This PR should be rendered obsolete by https://github.com/ocsigen/ocsigenserver/pull/212.
This is again a consequence of https://github.com/ocaml/dune/issues/4065