... | ... | @@ -8,7 +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.)
|
|
|
- [ ] (for someone with access to the website hosting) Update the Iris appendix on https://iris-project.org/
|
|
|
- [ ] (for someone with access to the website hosting) Update the Iris appendix PDF (e.g., https://plv.mpi-sws.org/iris/appendix-3.6.pdf), then update https://iris-project.org at https://github.com/logsem/iris-project.
|
|
|
- [ ] (for a maintainer) 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.
|
... | ... | |