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.

Sign up for GitHub

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

Jump to bottom

GitHub release triggers release workflow #34

Merged
merged 2 commits into from
Oct 8, 2023
Merged

GitHub release triggers release workflow #34

merged 2 commits into from
Oct 8, 2023

Conversation

eddumelendez
Copy link
Member

Switch from push tag event to release published. Also, add docs
for release process.

@eddumelendez
GitHub release triggers release workflow
f45dcb1 
Switch from `push tag` event to `release published`. Also, add docs
for release process.
@eddumelendez eddumelendez requested a review from a team as a code owner October 6, 2023 21:58
@eddumelendez eddumelendez added this to the next milestone Oct 6, 2023
@eddumelendez eddumelendez added the documentation Improvements or additions to documentation label Oct 6, 2023
@eddumelendez eddumelendez merged commit a83a0eb into main Oct 8, 2023
1 check passed
@eddumelendez eddumelendez deleted the release-doc branch October 8, 2023 18:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@sivaprasadreddy sivaprasadreddy sivaprasadreddy approved these changes

Assignees
No one assigned
Labels
documentation Improvements or additions to documentation
Projects
None yet
Milestone
next
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@eddumelendez @sivaprasadreddy