Skip to content

docs: rename to tools-benchmark and tools-dataset - #7

Merged
matbrgz merged 1 commit into
mainfrom
chore/rename-tools
Oct 12, 2026
Merged

docs: rename to tools-benchmark and tools-dataset#7
matbrgz merged 1 commit into
mainfrom
chore/rename-tools

docs: point submodule URLs and AGENTS.md to tools-benchmark and catal…

aa6d65b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
test
succeeded Oct 12, 2026 in 1m 35s