Skip to content

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

Use a bash array for the router list (shellcheck SC2086)

b56ea25
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar