Repository navigation

AGENTS 3, 10: clean up on merge; agents do not build - #382

Merged

b-re-w merged 1 commit into

feat/agent-build-rule

Nov 7, 2026

Merged

AGENTS 3, 10: clean up on merge; agents do not build#382
b-re-w merged 1 commit into
developfrom
feat/agent-build-rule

Commits on Nov 7, 2026
- AGENTS 3, 10: clean up on merge; agents only check compilation
  b-re-w
  committed
  9e0718b