Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove release workflow since I'm not using it. #74

Merged
merged 1 commit into from
Jun 20, 2024

Conversation

mihaimaruseac
Copy link
Collaborator

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.

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 <mihai.maruseac@gmail.com>
@mihaimaruseac mihaimaruseac merged commit b30a100 into main Jun 20, 2024
1 check passed
@mihaimaruseac mihaimaruseac deleted the remove-release-workflow branch June 20, 2024 02:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant