Skip to content

Drop unused dependencies and ignore clone output - #22

Merged
glenn-jocher merged 2 commits into
mainfrom
drop-unused-deps
Aug 2, 2026
Merged

Drop unused dependencies and ignore clone output#22
glenn-jocher merged 2 commits into
mainfrom
drop-unused-deps

Update AGENTS.md dependency list

87bc119
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar