The workflow is manually triggered, and creates a Github
release containing a build from the master branch.