Skip to content

ci: the margin table was wrong twice — re-measure the pool, and size the job cap from maxima - #138

Merged
wshallwshall merged 26 commits into
mainfrom
claude/ci-margin-correction
Aug 2, 2026
Merged

ci: the margin table was wrong twice — re-measure the pool, and size the job cap from maxima#138
wshallwshall merged 26 commits into
mainfrom
claude/ci-margin-correction

Commits

Commits on Aug 2, 2026