Hey! I’ve seen the progress on 8.14 and the new tag. Some colleagues were wondering about the new release timeline; if that’s not too much trouble, would you have an (approximate) updated version of https://github.com/coq/coq/wiki/Release-Schedule-for-Coq-8.14? Should we still expect it ~2 weeks after the rc1? cc @Guillaume Melquiond
It depends on the bugs unveiled by the prerelease of the platform (and other packaging systems). If there are none, then it should be released in two weeks (assuming the release notes are ready by then).
@Michael Soegtrop we should start asking people to make tags for 8.14 BTW.
@Théo Zimmermann : yes indeed - I will create the tickets tomorrow.
it's amazing that we finally have an incentive model for getting maintainers to tag compatible releases... I'm not sure if people realize the very hard coordination problems behind this that the community has been struggling with for years
@Karl Palmskog : as I keep saying: the work behind Coq Platform is not the bunch of scripts but the required coordination work.
yeah, the platform might be described as a multi-year, continuous technical lobbying effort (which produces useful artifacts along the way)
Last updated: Oct 16 2021 at 03:02 UTC