Release Checklist

Overview

This document describes the checklist to publish a release via GitHub workflow.

Determine a SemVer2-valid version prefixed with the letter v for release. For example, version="v1.0.0-rc.1".
Be on the main branch connected to the actual repository (not a fork) and git pull. Ensure git log -1 shows the latest commit on the main branch.
Create a tag git tag -am $version $version
git tag and ensure the name in the list added looks correct, then push the tag directly to the repository by git push --follow-tags.
Wait for the completion of the GitHub action release-github.
Check the new draft release, revise the release description, and publish the release.
Submit a PR to update the version and sha256sum in README.md and wait approval for merging.
Announce the release in the community.