Skip to content

sadr: AGENTS.md facts 2026-10-25 - #5

Merged
sadrbot[bot] merged 2 commits into
mainfrom
sadr/facts
Oct 25, 2026
Merged

sadr: AGENTS.md facts 2026-10-25#5
sadrbot[bot] merged 2 commits into
mainfrom
sadr/facts

sadr: describe the toolchain without depending on the upkeep PR

b426492
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar