Stream: Coq devs & plugin devs

Topic: release process


view this post on Zulip Gaƫtan Gilbert (Oct 11 2021 at 10:13):

is everything in the checklist at https://github.com/coq/coq/issues/14893 or are there additional parts to the process?

view this post on Zulip Guillaume Melquiond (Oct 11 2021 at 11:35):

No, that is about it. At this point, I am just waiting for the release notes, assuming no new packaging bugs were reported.


Last updated: Feb 01 2023 at 16:03 UTC