... | ... | @@ -6,6 +6,7 @@ First, create a std++ release. The process is nearly the same except you should |
|
|
- [ ] Mention changes in Coq version support. You can find out what versions of Coq are supported by looking at what's tested in [.gitlab-ci.yml](https://gitlab.mpi-sws.org/iris/iris/-/blob/master/.gitlab-ci.yml).
|
|
|
- [ ] For Iris (but not for std++), we like to highlight some new features by copying their notes to the top of the section - just use your judgment to decide what's worth highlighting.
|
|
|
- [ ] 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.
|
|
|
- [ ] (for a maintainer) Once the PR lands, create a git tag.
|
|
|
- [ ] let Ralf do the rest?
|
|
|
- [ ] ???
|
|
|
- [ ] profit! |
|
|
\ No newline at end of file |