-
Notifications
You must be signed in to change notification settings - Fork 19
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
Adapt to coq/coq#17836 (sort poly) #109
Conversation
That's a lot of work for the overlay writer dealing with a build system I'm not familiar with. Can you do it yourself? |
Sure, what's the timeline on getting the PR merged? It'll probably take me a couple days at least to find time. |
Probably not this week, I haven't finished the overlays and the doc, and then we will need reviewing and perf discussion etc |
5fa96ee
to
d2a12f6
Compare
I hope #113 will pass CI and auto-merge in about 10--20 minutes. #114 will take care of |
d2a12f6
to
35f46ea
Compare
35f46ea
to
52a910f
Compare
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.
LGTM, happy to merge once the Coq PR lands and CI here passes
Please merge now. |
No description provided.