Skip to content

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

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

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

Triggered via pull request August 2, 2026 17:53
Status Success
Total duration 19s
Artifacts

zizmor.yml

on: pull_request
zizmor (GitHub Actions static analysis)
16s
zizmor (GitHub Actions static analysis)
Fit to window
Zoom out
Zoom in