build: Source build id from the correct repo, fix #872#878

Merged

wkz merged 1 commit intomainfrom fix-build-id

Dec 19, 2024

+2-1

Commits on Dec 19, 2024

build: Source build id from the correct repo, fix #872
wkz
committed