fix(ci): add permissions for leaderboard PR comment posting#276

Merged

jeremyeder merged 2 commits intomainfrom

fix/leaderboard-ci-permissions

Feb 6, 2026

Commits on Feb 6, 2026

fix(ci): add permissions for leaderboard PR comment posting

jeremyeder
and
claude
committed
fix(ci): use job-level permissions for least privilege

jeremyeder
and
claude
committed