Currently, there is no github release workflow. Although the release process is explained in the README, it would be nice to add one.