Skip to content

Workspace builder: bulk set-option helper + 10ms readiness polling#1070

Open
tony wants to merge 1 commit into
masterfrom
builder-bulk-options
Open

Workspace builder: bulk set-option helper + 10ms readiness polling#1070
tony wants to merge 1 commit into
masterfrom
builder-bulk-options

workspace(perf[builder]): poll 10ms + bulk options

d736069
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build (3.14, master)
succeeded Jun 29, 2026 in 58s