Skip to content

Delete tools.go and remove tool-dependency pollution from go.mod - #5

Merged
bborbe merged 3 commits into
masterfrom
feature/drop-tools-go
Aug 9, 2026
Merged

Delete tools.go and remove tool-dependency pollution from go.mod#5
bborbe merged 3 commits into
masterfrom
feature/drop-tools-go

chore: re-trigger PR review after GitHub App rate-limit failure

0e2aec0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
test
succeeded Aug 9, 2026 in 1m 17s