Karl Palmskog (Sep 22 2022 at 08:34): Karl Palmskog (Sep 22 2022 at 08:34):I unfortunately couldn't stay for the whole Coq Call yesterday, but I see following in the notes:
RM for 8.17
Enrico mentions Michael needs help
Just curious what the background was here, is it that we don't want the findlib problems again? Or something else?
Théo Zimmermann (Sep 22 2022 at 08:54):It wasn't specific. Just: do not forget that Michael is doing most of the heavy work today and should not be left alone.
Théo Zimmermann (Sep 22 2022 at 08:54):But this does not specifically apply to 8.17.
Karl Palmskog (Sep 22 2022 at 09:04):OK, fine by me, I think we are doing reasonable things from the ecosystem/packaging side, although it never hurts to try to inform and educate more Platform package maintainers on the Platform process (please be responsive, please test with RC, etc.)
Théo Zimmermann (Sep 22 2022 at 09:08):Agreed. We can also slowly improve things by stabilizing / automating processes. And with respect to the heavy work for Coq 8.16, I really think this is not going to be a recurring thing that such big infrastructure changes happen (though 8.17 is still special since it contains the final Dune migration).
Last updated: Jun 03 2023 at 05:01 UTC