The process of making a release is as follows:
Write an article detailing the changes that are included in the release.
Put the article link in the correct places in the source code.
Update the version number in the correct places in the source code, including the
Update the release date and time in the
Tag the release.
Push the updated source code to the Github release branch.
Push the release tag to Github quickly before the CI starts the build. This will mark the release as stable, and cause the release files to be named by release version rather than git commit revision.
Verify that the CI is doing a stable build and wait for it to finish.
Ensure that all unit tests pass.
Ensure that linting and typing checks all pass.
Download all build files that are produced on Azure Devops as artefacts of the stable build.
Delete the installer
-setup.exeexecutable for Windows.
Test that the built executables work on each of Windows and MacOS.
Generate GPG signatures for all build files.
Upload all the build files to the Amazon S3 storage.
Update the web site source code for the new build files and their download links.
Update the web site in general for the new version.
Update the web site
release.jsonfile for the new version, release date and time, and the signature using the release credentials signing key.
Publish the web site.
Publish the article detailing the changes included in the release.
Announce the release on Twitter, Metanet.ICU slack, Atlantistic Unwriter slack and anywhere else.