improvement(ui): rename user-facing "execution" to "run"#4176
Merged
waleedlatif1 merged 5 commits intostagingfrom Apr 15, 2026
Merged
improvement(ui): rename user-facing "execution" to "run"#4176waleedlatif1 merged 5 commits intostagingfrom
waleedlatif1 merged 5 commits intostagingfrom
Commits
Commits on Apr 15, 2026
- authored andcommitted
- committed
- committed
- committed
- committed