Releasing a New Version Steps for Each Release Run publish workflow on GitHub Publish release on GitHub (see closed issues in milestones) Update tinylog version on website Update documentation on website Add news post to website (see also scripts)