-
Notifications
You must be signed in to change notification settings - Fork 359
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Internal opam solver failure #3447
Comments
Thanks; I suspect this is due to the large number of cohttp packages in the stable opam-repo |
Update:
note that locally, those docker build succesfully |
probably indicating a solver timeout on the CI side ? |
most probably. I get lots of timeouts on check.ocamllabs.io Example:
or in Travis here where I already set the timeout to 300s but it's visibly not enough with some switches: https://travis-ci.org/avsm/mirage-ci/jobs/451841943 Something tells me there is going to be more and more of this as the number of packages increase and I'm not sure what to do about it. I think it should be fixed on opam side instead of increasing I'm not sure if I should make a new issue or not for that? |
Note: This was (at least partly) fixed in opam 2.1.0 (via #4369) released last week. |
According to
opam ci
there are opam solver failures on two versions of the prof_spacetime package:I was told it would be useful to report this fact here.
The text was updated successfully, but these errors were encountered: