Releasing

Releases of this crate are fairly automated.

To create a new release:

Make sure CHANGELOG.md is up-to-date and contains all modifications under the [Unreleased] section.
Trigger this workflow with the desired version number.
Merge the resulting PR (watch your notifications).

The [Unreleased] section of CHANGELOG.md must contain all the changes that will be documented for the release.