Skip to content

chore: Update ci tool - #4

Merged
min0625 merged 1 commit into
mainfrom
chore/update-ci-tool
Oct 13, 2025
Merged

min0625 merged 1 commit into
mainfrom
chore/update-ci-tool

Conversation

@min0625

@min0625 min0625 commented Oct 11, 2025

Copy link
Copy Markdown
Owner

No description provided.

@min0625
min0625 force-pushed the chore/update-ci-tool branch 5 times, most recently from 4918e55 to 32a5f05 Compare October 11, 2025 16:51
@min0625
min0625 force-pushed the chore/update-ci-tool branch from 32a5f05 to a22833d Compare October 11, 2025 17:37
@min0625
min0625 merged commit b5a5e25 into main Oct 13, 2025
2 checks passed
@min0625
min0625 deleted the chore/update-ci-tool branch October 13, 2025 13:58
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