Skip to content

Comments

chore: set title of CLI#22

Merged
43081j merged 1 commit intomainfrom
minor-cli-tweaks
Jun 17, 2025
Merged

chore: set title of CLI#22
43081j merged 1 commit intomainfrom
minor-cli-tweaks

Conversation

@43081j
Copy link
Contributor

@43081j 43081j commented Jun 17, 2025

No description provided.

@43081j 43081j force-pushed the minor-cli-tweaks branch from 7125e81 to 528c3c5 Compare June 17, 2025 12:57
@43081j 43081j merged commit 8fa2da3 into main Jun 17, 2025
3 checks passed
@43081j 43081j deleted the minor-cli-tweaks branch June 17, 2025 14:00
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