Problem
Currently releases are done manually by @SGrondin.
It would be nice if there were a single script to run that could create a tag, push, and trigger a release build for all supported platforms.
Solution
Create such a script plus corresponding GHA workflow.
EDIT: Simon says the instructions are in DEVELOPMENT.md and recommends doing it by hand as they aren't GHA friendly.
Problem
Currently releases are done manually by @SGrondin.
It would be nice if there were a single script to run that could create a tag, push, and trigger a release build for all supported platforms.
Solution
Create such a script plus corresponding GHA workflow.
EDIT: Simon says the instructions are in DEVELOPMENT.md and recommends doing it by hand as they aren't GHA friendly.