Skip to content

ci: build the pinned objectui SHA on the PR that moves it (#4290) - #4310

Merged
os-zhuang merged 1 commit into
mainfrom
claude/objectui-pin-bump-pr-gate-7q2dwa
Jul 31, 2026
Merged

ci: build the pinned objectui SHA on the PR that moves it (#4290)#4310
os-zhuang merged 1 commit into
mainfrom
claude/objectui-pin-bump-pr-gate-7q2dwa