Releasing

Update CHANGELOG.md with the changes since the last release.
Commit changes, push, and open a release preparation pull request for review.
Once the pull request is merged, fetch the updated main branch.
Apply a tag for the new version on the merged commit: vX.Y.Z, for example v1.1.2.
Create a release in GitHub from the new tag.