diff options
| author | Théo Zimmermann | 2019-02-08 11:35:04 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-02-08 11:35:04 +0100 |
| commit | bb967f18247fc79c7158a89a1fe160a558910460 (patch) | |
| tree | 5bcd2a7aaeaec721fa36e4ea6fb6082eb40ee0ee /dev/doc/release-process.md | |
| parent | d1d32f552064b9907fc9815b7412b9a9cde4a0dd (diff) | |
| parent | a3cae583f5bd05479bc63c05e378a5befb633e52 (diff) | |
Merge PR #9513: Edit release-process.md to ease upcoming releases of Coq in Docker Hub
Reviewed-by: Zimmi48
Diffstat (limited to 'dev/doc/release-process.md')
| -rw-r--r-- | dev/doc/release-process.md | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/dev/doc/release-process.md b/dev/doc/release-process.md index d05b6c8eef..60c0886896 100644 --- a/dev/doc/release-process.md +++ b/dev/doc/release-process.md @@ -92,7 +92,11 @@ ### These steps are the same for all releases (beta, final, patch-level) ### - [ ] Send an e-mail on Coqdev announcing that the tag has been put so that - package managers can start preparing package updates. + package managers can start preparing package updates (including a + `coq-bignums` compatible version). +- [ ] Ping **@erikmd** to update the Docker images in `coqorg/coq` + (requires `coq-bignums` in `extra-dev` for a beta / in `released` + for a final release). - [ ] Draft a release on GitHub. - [ ] Get **@maximedenes** to sign the Windows and MacOS packages and upload them on GitHub. |