You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Remove release workflow since I'm not using it. (#74)
The release workflow that I'm currently deleting assumes I run `git pus --tags`
to run a release, collects the release notes and creates the release
afterwards.
However, I actually create the release using GitHub interface, so this always
fails.
Nevertheless, maybe later we should have a workflow that pushes all the
major.minor and major tags to the same major.minor.patch tag.
Signed-off-by: Mihai Maruseac <[email protected]>
0 commit comments