aboutsummaryrefslogtreecommitdiff
path: root/dev/doc/release-process.md
AgeCommit message (Expand)Author
2020-05-18Update release-process.mdEnrico Tassi
2020-05-18Update release-process.mdEnrico Tassi
2020-05-15Update dev/doc/release-process.mdEnrico Tassi
2020-05-15Clarify release-process.mdEnrico Tassi
2020-05-10Merge PR #12286: [sphinx] Add links to other versions of the refmanThéo Zimmermann
2020-05-09[sphinx] Add links to other versions of the refmanClément Pit-Claudel
2020-04-26Document the signing procedure of released binary packages.Pierre-Marie Pédrot
2020-01-28docs: Update release-process.md about opam/docker packagingErik Martin-Dorel
2020-01-25Publishing a new version on Zenodo: not a relevant step for beta versions.Théo Zimmermann
2019-12-02Add a script to pin CI developments.Pierre-Marie Pédrot
2019-10-07Release process: release notesVincent Laporte
2019-10-07Merge PR #9933: Add a few missing notes to the release doc.Vincent Laporte
2019-05-21Fixing typos - Part 1JPR
2019-05-08Update release process documentation and changelog entry.Théo Zimmermann
2019-04-09Add a few missing notes to the release doc.Théo Zimmermann
2019-02-08Add item in release-process.md to ease upcoming releases of Coq in Docker HubErik Martin-Dorel
2019-01-24Update update-compat.py and release-process.mdJason Gross
2019-01-24Update update-compat.py scriptJason Gross
2018-11-29[release doc] vX.X branches are now automatically protected.Théo Zimmermann
2018-10-02Move the compat-update-process to right after branchingJason Gross
2018-10-02Update dev/doc/release-process: compat+automateJason Gross
2018-05-18Create a documentation for the release manager.Théo Zimmermann
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 21:04:05 +0000