Release procedure

Jump to bottom

Thomas Haller edited this page May 19, 2025 · 1 revision

create pull request to target branch (main), including the version update and changelog.
draft a release on github