... | ... | @@ -35,3 +35,4 @@ First, create a std++ release. The process is nearly the same except you should |
|
|
- `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 |