Skip to content

Conversation

@kzu
Copy link
Member

@kzu kzu commented Jul 15, 2025

This does away with the need to have a type for the individual tools at all.

This does away with the need to have a type for the individual tools at all.
@kzu kzu added the enhancement New feature or request label Jul 15, 2025
@kzu kzu enabled auto-merge (rebase) July 15, 2025 19:45
@kzu kzu merged commit 6b48562 into main Jul 15, 2025
7 checks passed
@kzu kzu deleted the dev/singletool branch July 15, 2025 19:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants