Skip to content

vein: run control — cancel, pause/resume, durable resume (RUN_CONTROL_SPEC) - #1615

Merged
Evanfeenstra merged 5 commits into
mainfrom
feature/run-control
Aug 28, 2026
Merged

vein: run control — cancel, pause/resume, durable resume (RUN_CONTROL_SPEC)#1615
Evanfeenstra merged 5 commits into
mainfrom
feature/run-control

vein: guard against concurrent resume requests double-launching one run

69f79fe
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar