Laurent Théry (Jun 07 2021 at 11:21): Laurent Théry (Jun 07 2021 at 11:21):I have remove some deprecated, now odd-order does not compile anymore. What should I do? Just do a PR that fixs ood order?
Cyril Cohen (Jun 07 2021 at 11:22):I think odd-order has never been properly updated to mathcomp 1.12
Cyril Cohen (Jun 07 2021 at 11:23):I think a global cleanup PR to adjust to mathcomp 1.12 is in order, + a new release
Laurent Théry (Jun 07 2021 at 11:24):Ok I will first to do PR to update mathcomp to 1.12. Then I will do the 1.13 stuff
Laurent Théry (Jun 07 2021 at 13:41):ok just did the PR
Laurent Théry (Jun 07 2021 at 13:43): Laurent Théry (Jun 07 2021 at 15:23):ok did the duplicate clear too
Laurent Théry (Jun 07 2021 at 15:58):ok did all I could do on odd-order, hope this helps
Cyril Cohen (Jun 07 2021 at 17:14):I'm trying to repare various CIs...
Cyril Cohen (Jun 07 2021 at 17:16):Could you rebase your PRs on top of master to make the CIs run ?
Last updated: Oct 13 2024 at 01:02 UTC