Notes on the release process of Coq 8.10
- April 15th: branch
v8.10 - May 14th: version 8.10+β1
- 28 PRs merged into
master+ 75 backported tov8.10 - native integers
- SProp
- CoqIDE cannot be built on MS-Windows
- Template polymorphism is known to be broken
- 28 PRs merged into
- Expect to release by the end of June
- June 20th: version 8.10+β2
- 71 PRs merged into
master+ 50 backported tov8.10 - CoqIDE fixed on MS-Windows
- 71 PRs merged into
- September 16th: version 8.10+β3
- 95 PRs merged into
master+ 53 backported tov8.10 - Template polymorphism issue partially addressed
- 95 PRs merged into
- Since then
- 11 PRs merged into
master+ 2 backported tov8.10 - A few open issues (
notypeclass refine,-topfile…)
- 11 PRs merged into
- Are we ready to release Coq 8.10.0?
- Should the 8.11 release process start right after said release?
To the extent possible under law, the contributors of the Rocq wiki have waived all copyright and related or neighboring rights to their contributions.
By contributing to the Rocq wiki, you agree that you hold the copyright and you agree to license your contribution under the CC0 license or you agree that you have permission to distribute your contribution under the CC0 license.