Stream: Coq Platform devs & users

Topic: RM issues in 8.17


view this post on Zulip 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?

view this post on Zulip 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.

view this post on Zulip Théo Zimmermann (Sep 22 2022 at 08:54):

But this does not specifically apply to 8.17.

view this post on Zulip 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.)

view this post on Zulip 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: Jan 30 2023 at 11:03 UTC