Repository navigation

Allow runs to be renamed - #316

Merged

exe-dev-github-integration[bot] merged 1 commit into

mainfrom

gen-2731-rename-runs

Oct 30, 2026

Merged

Allow runs to be renamed#316
exe-dev-github-integration[bot] merged 1 commit into
mainfrom
gen-2731-rename-runs

Commits on Oct 30, 2026
- Allow runs to be renamed
  exe.dev user
  committed
  cce82aa