Repository navigation

Add a workflow to re-grade merged routers on GitHub runners - #244

Merged

yl231 merged 2 commits into

mainfrom

ci/regrade-all-workflow

Oct 29, 2026

Merged

Add a workflow to re-grade merged routers on GitHub runners#244
yl231 merged 2 commits into
mainfrom
ci/regrade-all-workflow

Commits on Oct 29, 2026
- Add a workflow to re-grade merged routers on GitHub runners
  
  yl231
  and
  claude
  committed
  3767f9a
- Use a bash array for the router list (shellcheck SC2086)
  
  yl231
  and
  claude
  committed
  b56ea25