You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
These packages build fine on opam ci, so this seems clearly like a problem with the bespoke solver used by the docs-ci.
Using a solver service could help. Is it possible we could just use opam with 0install as we do in opam-repo-ci? I assume there is a reason why not, but I don't have a clear sense of that reason.
The text was updated successfully, but these errors were encountered:
See
Reported at
These packages build fine on opam ci, so this seems clearly like a problem with the bespoke solver used by the docs-ci.
Using a solver service could help. Is it possible we could just use opam with 0install as we do in opam-repo-ci? I assume there is a reason why not, but I don't have a clear sense of that reason.
The text was updated successfully, but these errors were encountered: