-
Notifications
You must be signed in to change notification settings - Fork 1.2k
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
directories.0.6 #27328
directories.0.6 #27328
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thank you for publishing the updates and looking after the upper bounds! :)
Thanks! I don't understand the error on Windows CI, is it something flaky we can ignore? |
Yeah, the windows error on bogue is due to a known problem with some libraries that depend on pkg-config (but that I think we have not yet clarified enough to have a solution or clear issue for):
So definitely not related to this update! |
Hmmm, now |
That dune error is definitely unrelated to these changes. It is also curious and on an old version of dune... I'll keep an eye out for recurrences of this. |
Thanks again for the updates! |
No description provided.