Repository navigation

ci: AGENTS.md and the pull-request gates - #14

Open

thesprockee wants to merge 2 commits into

mainfrom

agents-and-gates

Open

ci: AGENTS.md and the pull-request gates#14
thesprockee wants to merge 2 commits into
mainfrom
agents-and-gates

Commits on Oct 26, 2026
- ci: AGENTS.md and the pull-request gates
  thesprockee
  committed
  634cda6
- fix: a failing gate failed its job in name only
  thesprockee
  committed
  0770bf9