Release process is semi-automated through GitHub Actions. This describes the basic steps for a project member to perform a release.
- Ensure that the
main
branch is building and that tests are passing. - Create a new release on GitHub.
- The release triggers a GitHub Action workflow.
- Handcraft and polish some of the release notes (e.g. substitute combined dependency PRs and highlight certain features).
- Rename existing milestone corresponding to new release and close it. Then create a new
next
milestone.
- JReleaser is in charge of steps in Maven Central.