Modifies the create_release workflow in 2 ways: - It only runs now if something is pushed to main. - It creates a tagged release if a tag is pushed. To create a tagged release, run e.g. git tag -a v0.1.0 -m "Release 0.1.0" git push origin v0.1.0
Adds a workflow that creates a "latest" release with a description listing all changes and a zip with built binaries (for Windows and Ubuntu 20.04).