Skip to content

Cleanup#142

Merged
evandowning merged 7 commits intomasterfrom
pr-review
Apr 8, 2026
Merged

Cleanup#142
evandowning merged 7 commits intomasterfrom
pr-review

Conversation

@evandowning
Copy link
Copy Markdown
Collaborator

@evandowning evandowning commented Apr 7, 2026

  • Consolidate tool path resolution
  • Update db-spec
  • Add verbose error message when no resolution is possible because a tool doesn't exist

@evandowning evandowning self-assigned this Apr 7, 2026
@evandowning evandowning changed the title Update db-spec Cleanup Apr 8, 2026
@evandowning evandowning merged commit 89a0629 into master Apr 8, 2026
12 checks passed
@evandowning evandowning deleted the pr-review branch April 8, 2026 18:57
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