... | ... | @@ -8,6 +8,7 @@ First, create a std++ release. The process is nearly the same except you should |
|
|
- [ ] Add the list of contributors since the last release. You can get this list with a command like `git shortlog --summary iris-3.4.0..HEAD` (which gets commits since the iris-3.4.0 tag). We list contributors in alphabetical order by first name. Check the list for duplicates due to slightly different names.
|
|
|
- [ ] Add the release date to the CHANGELOG files.
|
|
|
- [ ] (for a maintainer) Once the PR lands, create a git tag. (See `git tag --list` output for the tag naming scheme.)
|
|
|
- [ ] Update the Iris appendix on https://iris-project.org/ and bump the version number in the tex files.
|
|
|
- [ ] Submit a PR to https://github.com/coq/opam-coq-archive/ for the new opam packages. You can try using https://gist.github.com/tchajed/20635813aec53677c65d482c1b1bb834, which automates this process.
|
|
|
- Clone that repository.
|
|
|
- `cd` to `released/packages/coq-stdpp`, create a new subfolder `coq-stdpp.$VERSION`.
|
... | ... | @@ -34,5 +35,4 @@ First, create a std++ release. The process is nearly the same except you should |
|
|
- Copy the `coq-iris-heap-lang.opam` file from the Iris repo into that folder, rename it to `opam`, and edit it: remove the `version:` line, add a `date:` line to the "tags" section, and add a new section at the end identical to the one in the `coq-iris` package.
|
|
|
- `git add` and `git commit` your changes.
|
|
|
- `opam repo add` this repo and test that the new versions build.
|
|
|
- [ ] Announce the new release (for Iris and std++ together) on coq-club@inria.fr, iris-club@lists.mpi-sws.org. The announcement has the highlights from the Iris CHANGELOG and Coq version support information as well as the list of contributors and links to the detailed CHANGELOGs. See [here](https://pad.ralfj.de/p/iris-3.5.0) for an example. If you feel like it, you can also put the announcement on https://coq.discourse.group. Post the announcement as a message to the Iris Helpdesk channel on Mattermost.
|
|
|
- Update the Iris appendix on https://iris-project.org/ |
|
|
\ No newline at end of file |
|
|
- [ ] Announce the new release (for Iris and std++ together) on coq-club@inria.fr, iris-club@lists.mpi-sws.org. The announcement has the highlights from the Iris CHANGELOG and Coq version support information as well as the list of contributors and links to the detailed CHANGELOGs. See [here](https://pad.ralfj.de/p/iris-3.5.0) for an example. If you feel like it, you can also put the announcement on https://coq.discourse.group. Post the announcement as a message to the Iris Helpdesk channel on Mattermost. |
|
|
\ No newline at end of file |