Skip to content

chore(gate): queue behind other heavy builds on the host, not race them - #1440

Merged
dc0sk merged 2 commits into
mainfrom
chore/host-wide-build-lock
Sep 27, 2026
Merged

chore(gate): queue behind other heavy builds on the host, not race them#1440
dc0sk merged 2 commits into
mainfrom
chore/host-wide-build-lock

fix(gate): the host build lock fails closed; record #1440's adversari…

bfa69ad
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar