ci: the margin table was wrong twice — re-measure the pool, and size the job cap from maxima - #138
Open
wshallwshall wants to merge 12 commits into
Open
ci: the margin table was wrong twice — re-measure the pool, and size the job cap from maxima#138wshallwshall wants to merge 12 commits into
wshallwshall wants to merge 12 commits into
Commits
Commits on Aug 2, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
