Releases should be done with CI.

To release a new version, simply create a release on Github. CI will test and build the main branch.