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

ci: remove release #295

Merged
merged 1 commit into from
Oct 17, 2023
Merged

ci: remove release #295

merged 1 commit into from
Oct 17, 2023

Conversation

linrongbin16
Copy link
Owner

No description provided.

@linrongbin16 linrongbin16 merged commit 7be160d into main Oct 17, 2023
1 check passed
@linrongbin16 linrongbin16 deleted the linrongbin16-patch-1 branch October 17, 2023 10:59
@github-actions github-actions bot added the ci label Oct 17, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant