Provide information about build progress - #1001

Open

ekharkunov wants to merge 5 commits into

devfrom

feature/build-progress

Commits on Jul 23, 2026

Build progress tracking initial implementation
ekharkunov
committed
6916c50
Merge remote-tracking branch 'origin/dev' into feature/build-progress
ekharkunov
committed
b056ac4

Commits on Aug 12, 2026

Merge remote-tracking branch 'origin/dev' into feature/build-progress
ekharkunov
committed
c7fb15a
Guard progress-reconnect-attempts property against malformed values
ekharkunov
committed
432e482
Merge remote-tracking branch 'origin/dev' into feature/build-progress
ekharkunov
committed
ceae152