[x] Manual release date and version changed in .tex file, tagged and added to a GitHub release, include attaching a pdf version (EG). (Instructions on how to push a a local tag to a remote).
[x] Code committed and tagged in repo as v3.30.22.1, which will trigger a GHA to build the release executables (EG) (Instructions on how to push a a local tag to a remote)
Release checklist
Checklist to get ready for release
call-build-ss3-warnings
GitHub action for useful warnings (RM and IT)change log
label (RM/EG)Checklist for before release
v3.30.22.1
release label.v3.30.22.1
version. Don't forget to change the version for the pdf link in the docs/index.md.v3.30.22.1
, which will trigger a GHA to build the release executables (EG) (Instructions on how to push a a local tag to a remote)v3.30.22.1
(EG) (get exes in the artifacts of the GHA that built the release exes)Checklist for after release