| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-05-18 | Update release-process.md | Enrico Tassi | |
| 2020-05-18 | Update release-process.md | Enrico Tassi | |
| 2020-05-15 | Update dev/doc/release-process.md | Enrico Tassi | |
| Co-authored-by: Théo Zimmermann <theo.zimmi@gmail.com> | |||
| 2020-05-15 | Clarify release-process.md | Enrico Tassi | |
| 2020-05-10 | Merge PR #12286: [sphinx] Add links to other versions of the refman | Théo Zimmermann | |
| Reviewed-by: Zimmi48 | |||
| 2020-05-09 | [sphinx] Add links to other versions of the refman | Clément Pit-Claudel | |
| 2020-04-26 | Document the signing procedure of released binary packages. | Pierre-Marie Pédrot | |
| 2020-01-28 | docs: Update release-process.md about opam/docker packaging | Erik Martin-Dorel | |
| * Add hyperlinks | |||
| 2020-01-25 | Publishing a new version on Zenodo: not a relevant step for beta versions. | Théo Zimmermann | |
| Also, stop pinging when copying checklist to new issue. | |||
| 2019-12-02 | Add a script to pin CI developments. | Pierre-Marie Pédrot | |
| It is useful for the release process, and there is no reason for somebody to lose time reimplementing it again. | |||
| 2019-10-07 | Release process: release notes | Vincent Laporte | |
| Explain into the release process how to prepare the release notes. | |||
| 2019-10-07 | Merge PR #9933: Add a few missing notes to the release doc. | Vincent Laporte | |
| Ack-by: ejgallego Reviewed-by: vbgl | |||
| 2019-05-21 | Fixing typos - Part 1 | JPR | |
| 2019-05-08 | Update release process documentation and changelog entry. | Théo Zimmermann | |
| 2019-04-09 | Add a few missing notes to the release doc. | Théo Zimmermann | |
| 2019-02-08 | Add item in release-process.md to ease upcoming releases of Coq in Docker Hub | Erik Martin-Dorel | |
| Related: coq/bignums#17 [ci skip] | |||
| 2019-01-24 | Update update-compat.py and release-process.md | Jason Gross | |
| In response to review comments by Zimmi48 | |||
| 2019-01-24 | Update update-compat.py script | Jason Gross | |
| We now support --master and --release. On the master branch, we support four compatibility versions, while on releases and release branches, we support only three compatibility versions. We also support --git-add to automatically run `git add` with new and updated files, and to run `git rm` with deleted files. | |||
| 2018-11-29 | [release doc] vX.X branches are now automatically protected. | Théo Zimmermann | |
| 2018-10-02 | Move the compat-update-process to right after branching | Jason Gross | |
| Also test that the compat updating script hasn't become outdated on the CI. | |||
| 2018-10-02 | Update dev/doc/release-process: compat+automate | Jason Gross | |
| As requested in https://github.com/coq/coq/issues/8311#issuecomment-415976318 the release process describes the steps to take. All automatable steps are taken by the new script dev/tools/update-compat.py I've tried to make the script relatively easy to update if functions get renamed or moved, but since it's doing unstructured source manipulation, it is sort-of fragile. We could plausibly add a file to the test-suite to ensure that we catch script-breakage early, but this would require dropping compatibility support much earlier in the development cycle (the compatibility changes would have to come right when the new version is branched, rather than shortly before the beta release). | |||
| 2018-05-18 | Create a documentation for the release manager. | Théo Zimmermann | |
| This process is expected to evolve in the future as we automate it more and more. [ci skip] | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |