Releasing

Creating a release

git tag v<semver>
git push origin --tags

A Github action will then create a draft release that you'll have to manually publish.