Skip to content

Add release workflow#2

Merged
un-def merged 13 commits intomainfrom
pr_release_workflow
Mar 17, 2026
Merged

Add release workflow#2
un-def merged 13 commits intomainfrom
pr_release_workflow

Conversation

@un-def
Copy link
Copy Markdown
Collaborator

@un-def un-def commented Mar 16, 2026

No description provided.

@un-def un-def marked this pull request as draft March 16, 2026 14:33
@un-def un-def marked this pull request as ready for review March 17, 2026 10:09
@un-def un-def merged commit 7e56cc5 into main Mar 17, 2026
2 checks passed
@un-def un-def deleted the pr_release_workflow branch March 17, 2026 10:14
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.

1 participant