Skip to content

sweep: post a per-head verdict on clean convergence; list past gh's 30-PR cap#39

Merged
Octember merged 1 commit into
mainfrom
fix/per-head-verdict-and-list-limit
Jul 1, 2026
Merged

sweep: post a per-head verdict on clean convergence; list past gh's 30-PR cap#39
Octember merged 1 commit into
mainfrom
fix/per-head-verdict-and-list-limit

Commits

Commits on Jul 1, 2026