-
Bump the version in the Cabal file
-
Add a new section to
CHANGELOG.md -
Push the changes to a new PR
-
Merge the PR
-
Create an annotated tag on the tip of
main -
Push the tag
-
Check and publish the draft release that CI will create
Ideally, tags should also be signed.