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?
It wasn't specific. Just: do not forget that Michael is doing most of the heavy work today and should not be left alone.
But this does not specifically apply to 8.17.
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.)
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