ci: Add a workflow to create a GitHub Release - #1122

ci: Add a workflow to create a GitHub Release#1122

dhirschfeld wants to merge 3 commits into

widgetti:masterwidgetti/solara:masterfrom

dhirschfeld:github-releasedhirschfeld/solara:github-releaseCopy head branch name to clipboard